Press Releases
Nov 05, 2025
Lauterbach supports AdaCore Ada Development Platform for Safety-Critical Applications
Read More
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
Thales Selects AdaCore Toolset for Argos Satellite Project
May 02, 2011