Press Releases
Sep 29, 2026
Renishaw Neuro Solutions Selects CodeSonar® Static Analysis for Neurosurgical Robot Software Development
Read More
Apr 23, 2013
TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project
Apr 23, 2013
AdaCore Releases Major New Version 2.2 of CodePeer Static Analysis Tool
Apr 23, 2013
AdaCore Releases GNAT Pro 7.1
Feb 26, 2013
AdaCore Releases GNAT Pro Safety-Critical for ARM Processors
Feb 26, 2013
AdaCore and Wind River to Offer Joint Product Training Services in Europe
Dec 18, 2012
Ada 2012 Language Standard Approved by ISO
Dec 17, 2012
GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project
Dec 04, 2012
GNAT Pro Solves Data Endianness Portability Challenge
Dec 04, 2012
Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification
Nov 29, 2012
AdaCore and Altran Praxis Release SPARK Pro 11
Sep 17, 2012
Rockwell Collins Develops SecureOne™ with SPARK Pro and GNAT Pro High-Security
Jun 20, 2012