Press Releases
Sep 29, 2026
Renishaw Neuro Solutions Selects CodeSonar® Static Analysis for Neurosurgical Robot Software Development
Read More
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's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, R
Oct 23, 2014
AdaCore Development Environment Selected for New Spanish Satellite Project
Jul 24, 2014
AdaCore Releases GNAT GPL for Bare Board ARM
May 28, 2014
SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development
May 06, 2014
Altran and AdaCore Release Next-Generation Static Verification Toolset
Apr 01, 2014
AdaCore Releases GNAT Pro 7.2 for Android
Apr 01, 2014
GNAT Pro Safety-Critical Development Environment Released for LynxOS-178
Feb 25, 2014