Press Releases
Sep 29, 2026
Renishaw Neuro Solutions Selects CodeSonar® Static Analysis for Neurosurgical Robot Software Development
Read More
Jul 22, 2024
AdaCore announces its participation in the Safety-Critical Harsh Environment Micro-processing Evolution (SCHEME) project.
Jul 15, 2024
Celebrating 30 years of AdaCore
Jul 03, 2024
New Venue Augments High Integrity Software Conference
Jun 17, 2024
AdaCore supports the Safety-Critical Rust Consortium
Jun 11, 2024
AdaCore Research Proves Novel Solution for "Security by Default."
May 13, 2024
AdaCore Showcase Secure Avionics by Design at CYBERUK
Mar 27, 2024
Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development
Nov 09, 2023
AdaCore Announces the First Qualification of a Rust Compiler
Jul 18, 2023
AdaCore Announces GNAT Pro for Rust
May 10, 2023
AdaCore Supporting BAE’s Apprenticeship Programme
Mar 28, 2023
AdaCore Launches RecordFlux Technology to Enable the Development of Provable, Secure Communication Protocols
Feb 08, 2023