Articles published by AdaCore

AdaCore and CMU Researchers Announce Collaboration around Formal Verification of Rust for High-Integrity Systems

Today 7:37 EST

From AdaCore

Via Business Wire

Ada and SPARK enter the automotive ISO-26262 market with NVIDIA

June 04, 2025

From AdaCore

Via Business Wire

Celebrating 30 Years of AdaCore

July 19, 2024

From AdaCore

Via Business Wire

AdaCore Research Proves Novel Solution for "Security by Default"

June 11, 2024

From AdaCore

Via Business Wire

Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development

March 28, 2024

From AdaCore

Via Business Wire

AdaCore Announces the First Qualification of a Rust Compiler

November 09, 2023

From AdaCore

Via Business Wire

AdaCore Announces GNAT Pro for Rust

July 18, 2023

From AdaCore

Via Business Wire

AdaCore Launches RecordFlux

March 28, 2023

From AdaCore

Via Business Wire

AdaCore Joins Rust Foundation as Silver Member

February 08, 2023

From AdaCore

Via Business Wire

AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers

December 14, 2022

From AdaCore

Via Business Wire

AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support

March 15, 2022

From AdaCore

Via Business Wire

AdaCore Launches GNAT Dynamic Analysis Suite

February 22, 2022

From AdaCore

Via Business Wire

AdaCore Joins Forces with Ferrous Systems to Support Rust

February 02, 2022

From AdaCore

Via Business Wire

ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems

January 11, 2022

From AdaCore

Via Business Wire

IHI Corporation Chooses AdaCore’s QGen Model-based Engineering Toolsuite to Develop Autonomous Factory Truck System Software

December 13, 2021

From AdaCore

Via Business Wire

Collins Aerospace Selects AdaCore’s QGen Code Generator to Streamline Model-Based Development

July 20, 2021

From AdaCore

Via Business Wire

AdaCore Qualifies C Compiler for Alstom’s Safety-Critical Railway Systems

June 29, 2021

From AdaCore

Via Business Wire

Stock Quote API & Stock News API supplied by www.cloudquote.io. Quotes delayed at least 20 minutes. Market data may be delayed. Research information, not personalized advice.