Helping People Build Software that Matters

At AdaCore our mission is to provide the best tools, services and expertise to developers who want to build safe and reliable software.  Learn more about AdaCore »

code Created with Sketch.

Code Development

The GNAT Pro product line offers a comprehensive toolset for Ada and C. Different versions of the product — GNAT Pro Assurance, GNAT Pro Enterprise, and GNAT Pro Developer — support a wide range of project sizes and needs.

loupe Created with Sketch.

Static Analysis & Testing

Use CodePeer to detect logic errors and vulnerabilities both during development of new code and retrospectively on existing codebases. Or tap into formal methods, test case generators; and source and object code coverage analyzers.

model Created with Sketch.

Model-Based Engineering

Reduce development and verification effort through QGen, a qualifiable and customizable code generator and model verifier for a safe subset of Simulink® and Stateflow® models. QGen generates source code in SPARK or MISRA C.

certBadge Created with Sketch.

Formal Verification

With the SPARK Pro integrated static analysis toolsuite you can verify high-integrity software through formal methods, proving properties such as absence of run-time errors.

notebook Created with Sketch.

Certification & Qualification

Our qualifiable tools and high-integrity run-time libraries support software standards such as DO-178B/C, EN 50128 and ECSS-E-ST-40C / ECSS-Q-ST-80C.

user Created with Sketch.

Training & Consulting

Experience has shown that Ada is an extremely learnable language and that programmers with basic knowledge in other languages can quickly get up to speed with Ada.

Unrivaled Language and Platform Support for High-Integrity Development

Languages

We provide tools and support for the primary languages used in high-integrity development.

languages.png#asset:38414

Read about AdaCore's Language Support »


Platforms

We can assist our customers through hardware and OS evolution, facilitating code portability across an extremely wide range of platforms.

platforms.png#asset:38420

View our Supported Platforms »


Tried and Tested in the Most Demanding Industries

AdaCore's products have a proven track record in helping customers develop and verify high-assurance software across domains such as avionics, air traffic management/control, railway systems, space, and automotive.

Industries