AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions
[New York, US, 06/18/25] AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a definitive merger agreement. The merger creates a unified company committed to advancing software safety, security, and reliability across critical industries. The merger combines two highly complementary portfolios: AdaCore’s expertise in high-integrity software development…
