Press Releases
Nov 05, 2025
Lauterbach supports AdaCore Ada Development Platform for Safety-Critical Applications
Read More
Aug 16, 2010
Open Source SPARK Implementation of Skein Algorithm
Jul 27, 2010
SPARK Pro Adopted by secunet
May 04, 2010
AdaCore Announces Hi-Lite Project
Apr 27, 2010
Rockwell Collins Selects SPARK Pro for Security and Information Assurance
Apr 27, 2010
GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available
Apr 13, 2010
MBDA Extends Global Software Licensing Agreement with AdaCore
Mar 24, 2010
SPARK Pro 9 now available
Mar 24, 2010
Barco selects GNAT Pro for Advanced Avionics Applications
Feb 09, 2010
AdaCore Releases GNAT Pro 6.3
Jan 26, 2010
GNAT Pro support for PikeOS
Jan 12, 2010
AdaCore Launches CodePeer Tool
Nov 10, 2009