Press Releases
Jan 27, 2026
AdaCore Joins the SOAFEE Initiative to Advance High-Integrity Software for Automotive Systems
Read More
Feb 01, 2012
'Project P' and 'Hi-MoCo' Research Projects Launched
Jan 10, 2012
AdaCore and SofCheck Merge
Nov 29, 2011
Eurocopter Selects GNAT Pro for Military Helicopter ARINC 653 Project
Nov 29, 2011
Qualification Material Available for GNATcheck and GNATcoverage
Nov 29, 2011
AdaCore Takes On Agile Certification: the OPENCOSS and pSafecer Projects
Sep 27, 2011
AdaCore Releases Major New Version of GNAT Programming Studio 5.1
Sep 27, 2011
Digicomp Shows Continuing Success with Ada and GNAT Pro
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