Press Releases
Nov 05, 2025
Lauterbach supports AdaCore Ada Development Platform for Safety-Critical Applications
Read More
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
AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems
Mar 16, 2021