Ada Resource Association

GNATProve is used for formal verification of Ada programs and is being developed as part of the Hi-Lite project. It can prove that subprograms respect their contracts, expressed as preconditions and postconditions in the syntax of Ada 2012. The tool automatically discovers the subset of subprograms which can be formally analyzed. We provide binary distributions for x86 linux, x86 windows and x86-64 bit linux. More details can be found at http://www.open-do.org/projects/hi-lite/gnatprove/

AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne™ Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.

SmartSide has adopted the Ada programming language and GNAT Pro for the implementation of their Smart Devices platform. SmartSide provides Smart Metering and Smart Grid management solutions which are used to optimize Smart Grid networks.

Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project.

Open-source research projects combine model-based integration and qualified code generation for safety-critical systems

Full support for the upcoming Ada 2012 language standard

Ada expert Tucker Taft joining AdaCore as Director of Language Research

GPS 5.1 Integrated Development Environment brings new C/C++ features, improved support for CodePeer, and more powerful source editing

Digicomp Research has reaffirmed their commitment to Ada based on their continuing success with the language, by renewing their long-standing subscription for the GNAT Pro Ada development environment.

Open Source coverage analysis tool wins prize in 14th annual award program