Press Releases
Sep 29, 2026
Renishaw Neuro Solutions Selects CodeSonar® Static Analysis for Neurosurgical Robot Software Development
Read More
Jul 05, 2011
AdaCore’s GNATcoverage Product Awarded Electron d'Or Prize
Jun 30, 2011
Siemens Switzerland Selects AdaCore Toolset for Railway Project
Jun 07, 2011
AdaCore and Altran Praxis Release SPARK Pro 10
May 02, 2011
NIST Report Shows SPARK Most Suitable Language for Secure Programming
May 02, 2011
Thales Selects AdaCore Toolset for Argos Satellite Project
May 02, 2011
Rockwell Collins Selects GNAT Pro for Advanced Avionics Display System
Apr 19, 2011
AdaCore Helps Singo Solution Implement Scalable, Robust Call Management System
Apr 12, 2011
AdaCore Releases Major New Version of CodePeer Source Code Analysis Tool
Mar 01, 2011
AdaCore Releases GNAT Pro 6.4
Mar 01, 2011
EADS CASA Selects AdaCore Toolset for nEUROn Unmanned Aircraft
Mar 01, 2011
Airbus Military Certifies to DO-178B level A Using GNATcheck
Feb 01, 2011