NUREMBERG, Germany--(BUSINESS WIRE)--Embedded World Conference-- AdaCore today announced the release of the latest version of its four major products: “Developing and verifying critical systems is a ...

Boston, MA. AdaCore, a provider of development and verification tools for critical software, chose the Embedded Systems Conference to release CodePeer 3.0, a major new version of its advanced ...

Adacore’s CodePeer takes verification of Ada code to the next level. A more restricted subset of Ada 2012 is SPARK. It allows formal methods to be used in proving a program will meet the specified ...

NEW YORK & PARIS & TOULOUSE, France--(BUSINESS WIRE)--ERTS² Congress - AdaCore, a trusted provider of software development and verification tools with headquarters in New York and Paris, is unveiling ...

AdaCore has announced the release of the latest version of its four major products: GNAT Pro 17.1, a development environment for Ada and C; CodePeer 17.1, a deep static analysis tool for Ada that can ...

AdaCore recently announced the concurrent annual release of four flagship products in its portfolio of software development and verification tools for mission-critical, safety-critical and ...

Make your Ada code live up to the language's elegant name with AdaCore's new CodePeer, a source code analysis tool that detects runtime and logic errors in Ada programs. As a code reviewer, CodePeer ...

Coverity customers can now benefit from AdaCore’s GNAT Static Analysis Suite and Ada expertise to ensure the quality, security, and reliability of their Ada code NEW YORK--(BUSINESS ...