Press Releases
Jan 27, 2026
AdaCore Joins the SOAFEE Initiative to Advance High-Integrity Software for Automotive Systems
Read More
Oct 23, 2014
AdaCore Development Environment Selected for New Spanish Satellite Project
Jul 24, 2014
AdaCore Releases GNAT GPL for Bare Board ARM
May 28, 2014
SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development
May 06, 2014
Altran and AdaCore Release Next-Generation Static Verification Toolset
Apr 01, 2014
AdaCore Releases GNAT Pro 7.2 for Android
Apr 01, 2014
GNAT Pro Safety-Critical Development Environment Released for LynxOS-178
Feb 25, 2014
AdaCore Releases GNAT Pro 7.2
Feb 25, 2014
AdaCore Releases GNAT Pro 7.2 for ARM/Linux
Feb 05, 2014
AdaCore Releases New Version of GNATcoverage Dynamic Analysis Tool
Feb 05, 2014
AdaCore Releases Major New Version 2.3 of CodePeer Static Analysis Tool
Jan 22, 2014
Deep Blue Capital Selects AdaCore Products for Financial System Development
Dec 10, 2013