Press Releases
Sep 29, 2026
Renishaw Neuro Solutions Selects CodeSonar® Static Analysis for Neurosurgical Robot Software Development
Read More
Jul 19, 2022
Rheinmetall Air Defence extends the use of AdaCore's safety-critical software development tools for advanced air defense system
Mar 15, 2022
AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support
Feb 22, 2022
AdaCore Launches GNAT Dynamic Analysis Suite
Jan 11, 2022
ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems
Jun 29, 2021
AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems
Mar 16, 2021
AdaCore Announces Winners of Fifth Annual “Make with Ada” Competition
Feb 16, 2021
AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH
Dec 04, 2020
Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware
Dec 02, 2020
Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service to Upgrade to the Latest Version of the SPARK Technology
Nov 24, 2020
AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform
Nov 03, 2020
Hitachi Rail STS France Chooses AdaCore Software Development Environment for its New Rail Platform
Sep 08, 2020