More Info on AdaCore

Founded in 1994, AdaCore supplies software development and verification tools backed by expert support, for mission-critical, safety-critical, and security-critical systems. The company’s flagship products are the GNAT Pro Ada development environment, the CodePeer advanced Ada static analysis tool, the SPARK Pro formal verification environment, and the QGen model-based development tool.

Products

Shared User Prd71099b24e004f97aa25a14fa5b2b8a3

Design and development tools

GNAT Pro Assurance

GNAT Pro Assurance is a specialized edition of GNAT Pro for Ada or C, oriented towards projects requiring long-term support on a specific product version and/or safety certification...

Shared User Prc7dca6ad1585484c96729b485cfe30ec

Software code design, test, and verification

SPARK Pro

SPARK Pro is a CWE-Compatible integrated static analysis toolsuite for verifying high-integrity software through formal methods. It can be used in conjunction with testing when...

Shared User Prb3e61d9e22d246bf976a651164bcf5ca

Software code design, test, and verification

CodePeer

CodePeer is a CWE-Compatible advanced static analysis tool for Ada. It identifies vulnerabilities that could lead to run-time errors and flags legal but suspect code typical of...

Shared User Pra2da54e72b4a4df3957d039fde015e14

Software code design, test, and verification

QGen

QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models. It helps reduce development and verification...

Shared User Prdacc2ced893e49f7947f731e4779dafa

Design and development tools

GNAT Pro Enterprise

GNAT Pro Enterprise is a professional grade development environment, with versions supporting Ada, C and C++. It includes a customizable IDE, a visual debugger, Ada analysis tools...