AdaCore
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.
- Company typePrivate
- Founded1994
- HeadquartersNew York, United States
- Headcount1–10
- GTM typeB2B
- OfferingSoftware
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++.
AdaCore firmographics
Firmographics- Name
- AdaCore
- Legal name
- AdaCore
- Website
- https://adacore.com
- Company type
- Private
- Founded year
- 1994
- Operating status
- Operating
- Headcount range
- 1–10 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
AdaCore industry classification
Industry- Product category
- Safety-Critical Software Development Tools
- NAICS
- Computer Systems Design and Related Services (54151)
- SIC
- Services-Prepackaged Software (7372)
- akta.pro primary industry
- Regulatory Readiness & Audit Automation (e.g., EU AI Act, NIST AI RMF, ISO/IEC 42001) (HDAAAMAE)
- akta.pro secondary industry
- AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs) (HDAEANAJ)
Keywords
Where AdaCore is headquartered
LocationHeadquarters
- HQ city
- New York
- HQ country
- United States
- HQ region
- North America
Offices2 records
Markets served
AdaCore business model
Business model- GTM type
- B2B
- Offering type
- Software
Revenue model
- GNAT Pro Subscriptions: GNAT Pro is sold as a subscription product. Subscriptions cover the compiler toolchain and associated tools.
- SPARK Pro Subscriptions: SPARK Pro formal verification tools are sold as subscription products.
- CodeSonar Licenses and Maintenance: CodeSonar static analysis tools for C/C++ are sold as licenses with maintenance.
- Training & Professional Services: AdaCore offers enterprise training, public training, mentorship, consulting, and special development and certification activities as professional services.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Multi-year contract | Enterprise subscription plans for GNAT Pro, SPARK Pro, and related tools |
Go-to-market motion1 record
Distribution channels3 records
Marketing channels8 records
AdaCore product offering
Product offeringCore 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
Companies that use AdaCore
Customer profileNamed customers1 record
Segments7 records
AdaCore technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Integration7 records
AI capability5 records
Feature7 records
AdaCore partnerships and signals
Strategic signalPartnerships
One partnership is on record.
- Wind RivercoreAdaCore 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
AdaCore competitors and assessment
Company assessmentDirect 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
AdaCore social profiles
Digital presenceAdaCore compliance and trust
Trust signalCompliance8 records
AdaCore financial estimates
Financial estimateRevenue estimate
Valuation estimate
AdaCore leadership team
Management profileNumber of profiles
AdaCore funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
AdaCore M&A and investment
M&A and investmentM&A2 records
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about AdaCore
What does AdaCore do?
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.
Is AdaCore a public or private company?
AdaCore is a private company. It is currently operating.
When was AdaCore founded?
AdaCore was founded in 1994. It employs 1 to 10 people.
Where is AdaCore based?
AdaCore is headquartered in New York, United States, in the North America region.
How does AdaCore make money?
Four revenue lines are on record. GNAT Pro Subscriptions are the primary driver. The others are SPARK Pro Subscriptions, codeSonar Licenses and Maintenance and training & Professional Services.
Who are AdaCore's main competitors?
Direct peers on record are LDRA, Parasoft and Vector Informatik. Broad incumbents are MathWorks, Synopsys (Coverity), PTC and Perforce (Klocwork). Emerging players are TrustInSoft, QA Systems (Axivion) and TASKING (Altium).
Does AdaCore have an API?
No public API is recorded for AdaCore.
What industry is AdaCore in?
AdaCore's product category is Safety-Critical Software Development Tools. Its primary akta.pro industry code is HDAAAMAE, Regulatory Readiness & Audit Automation (e.g., EU AI Act, NIST AI RMF, ISO/IEC 42001), with a secondary code of HDAEANAJ, AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs). Its NAICS code is 54151 and its SIC code is 7372.