News
Press Releases
See More »- 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
- Lynx Joins AdaCore and Ferrous Systems to Bring Rust to Embedded Developers 11/2/2022
- Rheinmetall Air Defence extends the use of AdaCore's safety-critical software development tools for advanced air defense system 7/19/2022
- AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support 3/15/2022