Press Releases
Nov 05, 2025
Lauterbach supports AdaCore Ada Development Platform for Safety-Critical Applications
Read More
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
Muen Separation Kernel Lays Open Source Foundation for High-Assurance Software Components
Nov 20, 2013