News articles for AdaCore:
Tuesday, April 23, 2013
AdaCore Releases Major New Version of CodePeer Static Analysis Tool
Design West Conference--AdaCore
today announced the release of CodePeer
2.2, the advanced static analysis tool that helps developers detect
potential run-time and ...
read moreAdaCore Releases GNAT Pro 7.1
Design West Conference--AdaCore
today announced the availability of GNAT
Pro 7.1, a major new version of the company’s flagship development
environment. This ...
read moreTuesday, February 26, 2013
Tuesday, December 4, 2012
Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification
ACM SIGAda HILT Conference--AdaCore
today announced the successful usage of its Code
Traceability Analysis for DO-178B by Rockwell Collins in the
certification ...
read moreTuesday, May 4, 2010
AdaCore Announces Hi-Lite Project
PARIS and NEW YORK, NY -- (Marketwire) -- 05/04/10 -- AdaCore, together with Altran Praxis, CEA LIST, Astrium Space Transportation, INRIA ProVal and Thales Communications, today announced the start of the Hi-Lite project. Financially supported by French national and local government agencies, Hi-Lite is an Open Source project ...
read more