Press Releases
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
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
AdaCore Launches GNAT Dynamic Analysis Suite
2/22/2022
AdaCore Joins Forces with Ferrous Systems to Support Rust
2/2/2022
ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems
1/11/2022
IHI Corporation chooses AdaCore’s QGen model-based engineering toolsuite to develop autonomous factory truck system software
12/13/2021
Collins Aerospace Selects AdaCore’s QGen Code Generator to Streamline Model-Based Development
7/20/2021
AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems
6/29/2021
AdaCore Announces Winners of Fifth Annual “Make with Ada” Competition
3/16/2021
AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH
2/16/2021
Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware
12/4/2020
Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service to Upgrade to the Latest Version of the SPARK Technology
12/1/2020
AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform
11/24/2020
Hitachi Rail STS France Chooses AdaCore Software Development Environment for its New Rail Platform
11/2/2020
Major European Aerospace Company Chooses GNAT Pro Ada Targeted to Wind River’s VxWorks 6.x Cert RTOS on PowerPC
9/7/2020AdaCore’s Fifth Annual Make with Ada Programming Competition Launching July 31st
7/24/2020