Press Releases
-
Tuesday Sep 20, 2016
AdaCore and Altran to sponsor High Integrity Software Conference
-
Tuesday Jul 19, 2016
Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet
-
Tuesday Jun 28, 2016
Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj
-
Monday Jun 20, 2016
AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize
-
Tuesday Feb 23, 2016
Ada 2012 Language Standard Corrigendum Approved by ISO
-
Tuesday Feb 23, 2016
AdaCore Releases QGen 2.1 and GNAT Pro 7.4
-
Tuesday Feb 23, 2016
AdaCore Releases QGen 2.1
-
Tuesday Feb 23, 2016
AdaCore Releases GNAT Pro 7.4
-
Wednesday Jan 27, 2016
AdaCore Releases SPARK Pro 16
-
Wednesday Jan 27, 2016
French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology
-
Wednesday Jan 27, 2016
AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification
-
Wednesday Dec 9, 2015
Celebrating Ada Lovelace: The Pioneer of Programming
-
Tuesday Sep 1, 2015
AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2
-
Tuesday Jul 21, 2015
AdaCore’s GNAT Pro Available for Wind River VxWorks 7
-
Tuesday Jul 14, 2015
SPARK Going to the Moon
-
Thursday Jul 2, 2015
AdaCore President Robert B. K. Dewar (1945-2015)
-
Wednesday May 6, 2015
AdaCore Releases CodePeer 3.0
-
Tuesday Feb 24, 2015
AdaCore Launches QGen
-
Tuesday Feb 24, 2015
AdaCore Releases GNAT Pro 7.3
-
Monday Feb 2, 2015
ProofInUse Initiative Launched, Will Deliver Verification Tools for Critical Systems