Press Releases
Nov 05, 2025
Lauterbach supports AdaCore Ada Development Platform for Safety-Critical Applications
Read More
Jan 31, 2018
AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions
Jan 16, 2018
DENSO Using SPARK Technology for Automotive Research Project
Dec 19, 2017
AdaCore Exhibiting and Presenting at ERTS2 2018
Nov 15, 2017
AdaCore Launches New GNAT Pro Product Lines
Nov 15, 2017
MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software
Oct 31, 2017
Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software
Oct 24, 2017
AdaCore Announces Winners for Second Annual “Make with Ada” Programming Competition
Sep 12, 2017
AdaCore and Altran announce fourth year of High Integrity Software Conference sponsorship
May 23, 2017
AdaCore’s GNAT Pro Supports Wind River’s FACE Conformant VxWorks 653 Platform
May 15, 2017
AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize
May 09, 2017
New SPARK Adoption Guidance Published
Mar 21, 2017