The GNAT Pro product line offers a comprehensive toolset for Ada, C and C++. Different versions of the product — GNAT Pro Assurance and Enterprise — support a wide range of project sizes and needs.
A set of powerful dynamic analysis and coverage tools for Ada, as well as the formally analyzable SPARK Ada subset. Some of its capabilities, such as structural code coverage, also support C.
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.
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/GNAT Studio designed to help developers get the most out of the technology.
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.
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: firstname.lastname@example.org