News

Press Releases

See More »

AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions

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.

Posted on 6/18/2025

AdaCore In the Press

See More »

Upcoming Events

See More »

Nov 4, 2025 — Webinar

CodeSonar: Finding the Needle in a Haystack

DevSecOps offers the promise of delivering solutions faster, with higher quality, and more security. The challenge is how to build safe code, at scale, while going fast. Join AdaCore Product Manager, Sean Evoy, to learn how to integrate CodeSonar and static application security testing in your DevSecOps pipeline and help your developers separate the needles from the hay.

Webinar Time: 16:00 GMT | 17:00 CET | 11:00 EST | 8:00 PST

Posted on 10/14/2025

Nov 13, 2025 — International Convention Centre Wales

High Integrity Software Conference 2025

AdaCore are co-sponsors, co-organizers and exhibitors at the High Integrity Software Conference.

HISC features high-quality content from experts in industry and academia who disseminate their knowledge of important and innovative techniques and methods that software engineers can apply in practice across industry sectors.

HISC will return on 13 November 2025. Registration opens on 31 March.

Posted on 3/4/2025