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

AdaCore software development and verification tools help Real Heart deliver the high assurance, safety, and reliability that lifesaving medical devices demand. NEW YORK & PARIS & NUREMBERG, ...

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

Battery Ventures announced a significant investment in AdaCore, a leader in providing software development tools for safety and security-critical systems. This strategic deal will accelerate AdaCore’s ...

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

PROVIDENCE, RI--(Marketwired - Jul 14, 2015) - Vector Software, the world's leading provider of innovative software solutions for robust embedded software quality, announced today an integration of ...

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

ARM TechCon – AdaCore announced the winners of its second annual Make with Ada programming competition for embedded projects. Make with Ada aims to show how the Ada and SPARK language technologies can ...

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

The global computer science community lost a pioneer on 30 June 2015 with the passing of AdaCore President and Co-founder Dr. Robert Dewar. Dr. Dewar served as the company’s CEO until 2012 and as its ...