News
Press Releases
See More »- AdaCore Announces GNAT Pro for Rust 7/18/2023
- AdaCore Supporting BAE’s Apprenticeship Programme 5/10/2023
- AdaCore Launches RecordFlux Technology to Enable the Development of Provable, Secure Communication Protocols 3/28/2023
- AdaCore Joins Rust Foundation as Silver Member 2/8/2023
- AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers 12/14/2022