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 ...

NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announced that TÜV SÜD issued the first ever qualification certificate of a Rust compiler, ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Battery Ventures, a global, technology-focused investment firm, today announced a significant investment in AdaCore, a leader in providing software development tools for safety- and security-critical ...

Lynx Software Technologies (Lynx) has announced that its LynxOS-178 operating system and LynxElement unikernel will now include support for Rust. Rust is a systems programming language that is ...