Press Releases
Jan 27, 2026
AdaCore Joins the SOAFEE Initiative to Advance High-Integrity Software for Automotive Systems
Read More
Aug 25, 2010
AWS available for Wind River’s VxWorks
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