Code Development

Build better software with our full-featured, multi-language (Ada, SPARK, C, C++) development environment that comes with unmatched product support and expert Ada consulting.

GNAT Pro

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

Static Analysis & Testing

Detect logic errors and vulnerabilities both during development of new code and retrospectively on existing codebases.

CodePeer

CodePeer assesses a program for potential bugs before it is executed, in effect serving as an automated peer reviewer.

GNATcoverage

GNATcoverage supports coverage analysis of both object code and Ada or C language source code

Model-Based Engineering

Streamline your development and verification processes for critical systems specified through Simulink® and Stateflow® models.

QGen

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

Formal Verification

Specify and automatically verify software architectural properties, and guarantee a wide range of software integrity properties including freedom from run-time errors, enforcement of security policies, and functional correctness.

SPARK Pro

SPARK Pro is a powerful language and toolset combination that brings mathematics-based confidence to software verification.

Qualification and Certification Material

AdaCore has a long history of serving the safety-critical software development community. Customers have used our products and services to implement, verify and maintain systems that meet the highest levels of domain-specific software standards such as:

Services

training Created with Sketch.

Training

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. For programmers who already have some Ada experience, AdaCore offers advanced courses in Ada and GNAT Pro/GPS designed to help developers get the most out of the technology.

Learn more about the various courses we can offer »

consulting Created with Sketch.

On-Site Consulting

The vast majority of questions from AdaCore customers are answered by the front-line support included with each product. However, in some cases, projects requires intensive and/or on-site expertise for specific issues such as deploying GNAT Pro, porting from a legacy compiler or customizing the real-time Ravenscar kernel to a specific board.

Learn more about how AdaCore can bring its expertise to your project »

developer Created with Sketch.

Custom Development

A major corporate objective is to make Ada available on as many platforms / targets as possible.  If a customer has a specific configuration requirement that cannot be met with one of our off-the-shelf products, a customized solution may be a practical alternative.

For questions regarding custom development, please contact: info@adacore.com