AdaCore

What AdaCore does

AdaCore, founded in 1994 and headquartered in Paris (with a New York regional office), provides commercial software development tools for safety-critical, security-critical, and high-integrity embedded systems. Its core offerings center on the GNAT Pro compilation toolchain — available in distinct editions for Ada, C/C++, and Rust — supported by the SPARK Pro formal verification toolset, which provides mathematically provable absence of runtime errors. The portfolio is completed by GNAT Static Analysis Suite (SAS) for Ada, CodeSonar for C/C++ (integrated via the 2025 acquisition of CodeSecure), the GNAT Dynamic Analysis Suite (including GNATcoverage and GNATfuzz), the GNAT Studio IDE, the GNAT IQ requirements/traceability tool, and the Alire package manager. AdaCore's tools are qualified or certified under DO-178B/C up to DAL-A, ISO 26262 up to ASIL-D, EN 50128/EN 50657 up to SIL-4, IEC 61508 up to SIL-4, and ECSS-E-ST-40C, and are supported across 150+ native and embedded platforms.

AdaCore sells primarily through direct enterprise field sales targeting seven verticals — avionics, defense, automotive, medical, rail, space, and security — with quote-based, multi-year subscription contracts for toolchains and licenses/maintenance, complemented by training, mentorship, and consulting services delivered by a Field Engineering team. Revenue streams include GNAT Pro and SPARK Pro subscriptions, CodeSonar licenses and maintenance, and professional services. Named customer references include NVIDIA (adopted SPARK for security-critical software), with an aggregate footprint of 3,000+ high-integrity customer applications reported across the customer base. The company is privately held, profitable in appearance with no disclosed external funding rounds, and has expanded its footprint through the acquisitions of Componolit (2021) and CodeSecure (2025), and through continuous product launches extending into Rust, CUDA, AI/LLM-assisted workflows via the CodeSonar MCP server, and bare-metal safety-critical C++.

Name

AdaCore

Legal name

AdaCore

Website

https://adacore.com

Company type

Private

Founded year

1994

Operating status

Operating

Headcount range

101–250 employees

Short description

AdaCore provides commercial compilers (Ada, C/C++, Rust), formal verification (SPARK), and static/dynamic analysis tools for safety-critical embedded systems across avionics, defense, automotive, rail, space, and medical verticals, certified to DO-178 DAL-A, ISO 26262 ASIL-D, and EN 50128 SIL-4 standards.

Ownership category

akta.pro rank

Product category

Safety-Critical Software Development Tools

NAICS

Computer Systems Design and Related Services (54151)

SIC

Services-Prepackaged Software (7372)

akta.pro industry

PRIMARYHDAAAMAE

Regulatory Readiness & Audit Automation (e.g., EU AI Act, NIST AI RMF, ISO/IEC 42001)

Hardware, Technology & Telecom/Artificial Intelligence & Machine Learning/AI Ethics & Compliance Solutions

SECONDARYHDAEANAJ

AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs)

Hardware, Technology & Telecom/Enterprise Platforms & Databases/Artificial Intelligence Platforms for Enterprise

Keywords

• Safety-critical software tools
• Ada programming toolchain
• Formal verification software
• Static analysis tools
• Embedded development toolchain

Headquarters

HQ city

Paris

HQ country

France

HQ region

Europe

Offices2 records

Markets served

GTM type

B2B

Offering type

Software

Revenue model

1. GNAT Pro Subscriptions: GNAT Pro is sold as a subscription product. Subscriptions cover the compiler toolchain and associated tools.
2. SPARK Pro Subscriptions: SPARK Pro formal verification tools are sold as subscription products.
3. CodeSonar Licenses and Maintenance: CodeSonar static analysis tools for C/C++ are sold as licenses with maintenance.
4. Training & Professional Services: AdaCore offers enterprise training, public training, mentorship, consulting, and special development and certification activities as professional services.

Pricing tiers

Go-to-market motion1 record

Distribution channels3 records

Marketing channels8 records

Core offering

AdaCore provides commercial software development tools, including compilers, static and dynamic analyzers, and formal verification tools for Ada, SPARK, C/C++, and Rust. These tools target safety-critical, security-critical, and high-integrity embedded systems used in avionics, defense, automotive, medical, rail, space, and security industries, supported by training, mentorship, and consulting services.

Product overview

AdaCore provides a comprehensive suite of commercial software development tools for high-integrity and safety-critical systems. The portfolio centers on the GNAT Pro compilation toolchain supporting Ada, C/C++, and Rust (each available as distinct products), complemented by the SPARK Pro formal verification toolset for mathematical proof of program correctness. Static and dynamic analysis capabilities include CodeSonar for C/C++, GNAT Static Analysis Suite (GNAT SAS) for Ada, and the GNAT Dynamic Analysis Suite for testing and fuzzing. Additional tools include GNAT Studio IDE, code formatters (GNAT Pretty-Printer, GNATformat), GNATcoverage for code coverage analysis, GNATfuzz for security testing, and GNAT IQ for requirements management. The Alire package manager provides ecosystem support for Ada projects. Services include expert-led training, mentorship, and consulting. The company serves aerospace, defense, automotive, rail, space, medical, and security industries with tools certified for DO-178, ISO 26262, EN 50128, ECSS-E-ST-40C, and IEC 61508 standards.

Differentiator

Problem solved

Functional benefit

Brands

• GNAT Pro: Compilation toolchain for Ada, C/C++, and Rust
• SPARK Pro
• CodeSonar
• GNAT SAS
• GNAT DAS
• GNAT Studio
• GNAT IQ
• GNATfuzz
• CodePeer
• Alire
• GNATemulator

Products and services

• GNAT Pro

Quantifiable outcome

• 30 years of experience in high-integrity software development
• +3 more outcomes

Named customers1 record

Segments7 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration7 records

AI capability5 records

Feature7 records

Partnerships

One partnership is on record.

• Wind RivercoreTechnology or IntegrationAdaCore collaborates with Wind River, a provider of safety-certified technology for aerospace and defense organizations. Wind River supports AdaCore in enhancing embedded systems development for their shared customers in aerospace and defense. Wind River's Helix Virtualization Platform is certified for FACE conformance and supports customers like NASA and Airbus.

Scale indicators6 records

Recent moves6 records

Expansion highlights6 records

Direct peers

• LDRA: LDRA provides static analysis, dynamic analysis, and unit testing tools certified for DO-178, ISO 26262, IEC 61508, and EN 50128 — directly competing with AdaCore's GNAT SAS, GNAT DAS, and CodeSonar in safety-critical C/C++ and Ada development.
• Parasoft: Parasoft offers static analysis (C/C++test, dotTEST), unit testing, and compliance reporting for safety-critical industries including automotive, aerospace, medical, and rail — competing head-on with AdaCore in MISRA compliance and certification workflows.
• Vector Informatik: Vector Informatik provides AUTOSAR, embedded software tools, and testing solutions for automotive OEMs and Tier-1s — directly overlapping with AdaCore's automotive ISO 26262 ASIL-D toolchain positioning and embedded Rust initiatives.

Broad incumbents

• MathWorks: MathWorks (MATLAB/Simulink) is a dominant model-based design and code generation platform widely used in avionics, automotive, and rail — overlapping with AdaCore's safety-critical workflows but addressing a broader development lifecycle and serving much larger customer base.
• Synopsys (Coverity): Synopsys offers Coverity static analysis and a broad portfolio of EDA, IP, and software integrity tools — competing with CodeSonar in C/C++ static analysis while bringing vastly larger scale and broader cybersecurity offerings.
• PTC: PTC (Integrity, Codebeamer, Windchill) provides requirements management, ALM, and embedded software tools for safety-critical industries — adjacent to AdaCore's toolchain with overlap in DO-178/ISO 26262 program workflows.
• Perforce (Klocwork): Perforce offers Klocwork static analysis and a broader DevOps/ALM portfolio serving safety-critical embedded developers — competing with CodeSonar for C/C++ MISRA compliance and integration into enterprise CI/CD pipelines.

Emerging players

• TrustInSoft: TrustInSoft applies formal methods (Frama-C) to C/C++ source code for exhaustive static analysis at safety-critical assurance levels — an emerging alternative to CodeSonar and SPARK Pro in the formally verified C/C++ niche.
• QA Systems (Axivion): QA Systems provides the Axivion static analysis suite for C/C++/Ada/Rust with focus on architecture verification and MISRA compliance — directly comparable in tooling scope to AdaCore's CodeSonar/GNAT SAS offerings.
• TASKING (Altium): TASKING provides embedded compiler toolchains (TriCore, AURIX, RH850, ARM) and static analysis tools certified for ISO 26262 ASIL-D — competing with GNAT Pro in safety-critical automotive and industrial embedded compilers.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks5 records

Key highlights6 records

Customer concentration

• GitHubgithub.com/adacore
• YouTubeyoutube.com/@AdaCore05
• LinkedInlinkedin.com/company/adacore
• Xx.com/AdaCoreCompany

Compliance8 records

Revenue estimate

Valuation estimate

Number of profiles

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A2 records

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about AdaCore