AdaCore: Build Software that Matters
AdaCore Hero Image

Newsroom

Latest Press Releases

Latest Articles

View All
Just Auto • Oct 15, 2025

Driving safety and trust: Why formal methods are the next step for automotive software

The ISO 26262 standard, which governs functional safety for electrical and electronic systems in vehicles, has become the reference point for managing this challenge. Compliance is not simply a technical checkbox; it is a strategic necessity.
Automobilwoche • Oct 15, 2025

Best practices for securing the automotive software supply chain

Software drives innovation in cars – and increases risks. Only through secure development, vetted partners, and cyber resilience can mobility remain protected and future-proof.
Military Systems and Technology • Jul 01, 2025

Assuring Trust in Autonomy

This article explores the pivotal role of high-integrity software in enabling resilient, certifiable, and mission-assured unmanned systems. It outlines the principles and practices required to meet the demanding requirements of military and defence applications.
Wevolver • Jul 01, 2025

An Introduction to Memory Safe Concepts and Challenges

This blog starts by describing the most common bugs threatening memory safety and explaining their consequences. Then, it introduces three memory-safe languages and briefly explains their mechanisms against memory bugs.
Army Technology • Jul 01, 2025

Formal Methods for and Insecure World

This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle.
Future Rail • May 27, 2025

Building Trust on the Tracks

Railway systems demand the highest levels of safety and reliability. As software takes on an increasingly central role in infrastructure and onboard equipment, ensuring compliance with certification standards while maintaining long-term software stability has become more complex and costly.