Press Releases
Jan 27, 2026
AdaCore Joins the SOAFEE Initiative to Advance High-Integrity Software for Automotive Systems
Read More
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
AdaCore Joins Rust Foundation as Silver Member
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