GNAT Pro High-Security is designed to support development of applications that can meet the requirements of top Evaluation Assurance Levels (EAL)for stand-alone or within Multiple Independent Levels of Security (MILS) RTOS partitions. It also provides a full Ada support library for lower EAL, run-time libraries that simplify certification for top EAL, an optional SPARK Pro tool set, and a specialized GNAT Pro user interface designed with security-critical applications in mind.

Learn more »      Pricing Information »

SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Altran with the GNAT Programming Studio (GPS) development environment from AdaCore. SPARK Pro prevents, detects and eliminates defects early in the life-cycle as the source code is developed.

Learn more »      Pricing Information »

Specialized Tools for Building Applications in Ada


CodePeer assesses a program for potential bugs before it is executed, in effect serving as an automated peer review. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.

Learn more »      Pricing Information »

GNATemulator is an efficient and flexible tool that provides integrated, lightweight target emulation. Learn More »

GNATstack is a software analysis tool that enables Ada/C/C++ software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application. Learn More »

GNATcoverage is a specialized tool that analyzes and reports program coverage. Learn More »

More Solutions    Ada Development   |   Safety-Critical   |   Security-Critical   |   Code Development   |   Static Analysis   |   QA and Testing