Press Releases
Nov 05, 2025
Lauterbach supports AdaCore Ada Development Platform for Safety-Critical Applications
Read More
Dec 09, 2015
Celebrating Ada Lovelace: The Pioneer of Programming
Sep 01, 2015
AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2
Jul 21, 2015
AdaCore’s GNAT Pro Available for Wind River VxWorks 7
Jul 14, 2015
SPARK Going to the Moon
Jul 02, 2015
AdaCore President Robert B. K. Dewar (1945-2015)
May 06, 2015
AdaCore Releases CodePeer 3.0
Feb 24, 2015
AdaCore Releases GNAT Pro 7.3
Feb 02, 2015
ProofInUse Initiative Launched, Will Deliver Verification Tools for Critical Systems
Jan 13, 2015
New Release of Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification
Dec 04, 2014
AdaCore Launches GNATdashboard
Oct 23, 2014
AdaCore Development Environment Selected for New Spanish Satellite Project
Oct 23, 2014