AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions

GNAT Pro, CodePeer, SPARK Pro and QGen upgraded with new features, better performance

NEW YORK & PARIS & TOULOUSE, France, January 31, 2018 - ERTS² Congress - AdaCore, a trusted provider of software development and verification tools with headquarters in New York and Paris, is unveiling Version 18.1 of its industry-leading GNAT Pro, CodePeer, SPARK Pro, and QGen products. This latest version enhances the already robust, feature-rich software suite with new tools and capabilities and marks the first release of GNAT Pro in its three product lines: GNAT Pro Assurance, GNAT Pro Enterprise and GNAT Pro Developer.

 For more than twenty years, AdaCore has been delivering products and services designed specifically to help developers build safe, secure, reliable, high-integrity software. AdaCore’s GNAT Pro, CodePeer, SPARK Pro and QGen are software development and verification tools of choice for safety-critical, high-security, and mission-critical applications across a growing number of markets, including aerospace and defense, automotive, energy, medical, railway, and the Internet of Things (IoT).

 “Specializing the GNAT Pro offering into three product lines is one of the major new aspects of this release, allowing us to adapt our toolset and services to different user needs” said Cyrille Comar, AdaCore President. “As an example, the GNAT Pro Assurance product line provides specific services for environments where a major tooling upgrade can be very delicate and where tool errata (‘known-problems’) need to be accurately described and actively managed.”

 The GNAT Pro Ada development environment provides new tools, improved code efficiency, several new targets and a variety of compiler enhancements with Version 18.1. All GNAT Pro subscriptions now include the SPARK Discovery verification technology, and GNAT Pro Assurance and GNAT Pro Enterprise also supply AdaCore’s GNATstack stack analysis tool.

The GNAT Pro tool suite features GPRbuild project tool upgrades, new rules in the GNATcheck coding standard checker, GNATcoverage support for Lauterbach probes, and new options in the GNATtest unit testing framework. The GNAT Programming Studio (GPS) Integrated Development Environment (IDE) boasts performance and user interface improvements, including C/C++ navigation engine enhancements, while GNATbench adds support for Eclipse 4.8 Oxygen and Wind River Workbench 4.12.

 CodePeer, the advanced CWE-compatible static analysis tool for Ada, brings improved performance, easier analysis of non-GNAT code, fewer “false positives”, and integration of GNAT warnings into the tool output.  An updated tool qualification kit for DO-178C is also available for CodePeer 18.1, with coverage of additional Ada constructs including exceptions, access types, and generic units.

 The SPARK Pro formal verification environment, co-developed by AdaCore and its partner Altran, has added contracts to units in the predefined environment and has enhanced the automation of proofs. SPARK Pro 18.1 also allows users to perform interactive proofs in GPS.

 QGen, AdaCore’s qualifiable model-based development tool kit which generates SPARK and MISRA C, has been enhanced with a compatibility checker to verify compliance of sample models with the supported safe subset of Simulink®/Stateflow® models. QGen 18.1 also implements several new blocks and supports Simulink®/Stateflow® versions up to 2017b.

 For a complete list of new and improved features in Version 18.1, visit:
GNAT Pro base technology – 
GPS and GNATbench IDEs –
GPR library and tools – CodePeer –
QGen –

 About AdaCore Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see for further information.

 AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Press Contacts

Jessie Glockner
AdaCore Public Relations Representative

Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82