NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announced that the latest version of its signature GNAT Pro Assurance product has ...

Battery Ventures is buying a majority stake in AdaCore, a provider of software development tools for safety- and security-critical systems, in a $100 million-plus deal. The private equity firm wants ...

BRISTOL, England, July 22, 2024--(BUSINESS WIRE)--AdaCore is excited to announce its participation in the SCHEME research project. Rolls-Royce has assembled a world-class consortium of UK industry and ...

AdaCore, a commercial software solutions company, is developing new software capabilities for open system standards that promote reuse and portability and that are becoming more common within avionics ...

Earlier this month, a very disturbing news for the automotive industry surfaced. According to research performed by the Rutgers University and the University of South Carolina, modern day vehicles are ...

NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, announces the acquisition of Componolit GmbH, effective as of February 1, 2021. The acquisition ...

Battery acquired CodeSecure and AdaCore in 2023 and 2024, respectively CodeSecure, embedded software security company AdaCore, a provider of software development tools for mission-critical systems ...

Thales has developed and verified a qualified autocode generator for critical airborne software. To do it, the company used AdaCore’s GNAT Pro Ada environment. The development process for the autocode ...

AdaCore, a provider of software development and verification tools, has announced the early-access availability of GNAT Pro for Rust. For the first time, AdaCore’s GNAT Pro subscribers will be able to ...

NEW YORK & PARIS & BRISTOL, England, November 5, 2019 – High Integrity Software Conference - AdaCore today announced that its GNAT Pro product line now supports the development of embedded software ...

NEW YORK, June 18, 2025--(BUSINESS WIRE)--AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a ...