SPARK Pro is a language and toolset that allows developers to formally define and automatically verify software requirements to guarantee that a program behaves as intended. You can adopt SPARK either at the beginning of a project, or by progressively integrating it in an existing […]

Code Peer

The CodePeer Tool Suite is a set of static analysis tools for the Ada programming language designed to help developers, reviewers, and testers detect bugs and vulnerabilities in Ada code. The tool suite includes the CodePeer advanced static analysis tool, the GNATcheck coding standard checking […]


GNAT Pro is a robust and flexible Ada, C and C++ development environment. It comprises a toolchain based on the GNU GCC technology; an Integrated Development Environment (GNAT Studio); a comprehensive toolsuite, including a visual debugger; and a set of libraries, bindings and tools.GNAT Pro […]