Resources
Your hub for AdaCore knowledge
Latest Blog Posts
Mark Hermeling
Formal Methods Practice and Theory
Formal methods offer a rigorous way to connect requirements to implementation, enabling developers to prove key properties such as the absence of run-time errors and, in some cases, functional…
Fabien Chouteau
Advent of Ada/SPARK 2025 Results
On December 1st, we called the Ada and SPARK programmers community to take on a challenge for a…
Romain Gora
Rust Memory Management: The Playroom Analogy
This article builds on 'Introduction to Ada: a project-based exploration with rosettas', which…
Andrea Bristol
Surprising Places Where Ada Is Used
Ada has entered the top 10 of the PYPL index, reflecting renewed interest in a language long…
Case Studies
Zenseact Chooses SPARK for Automotive Safety
Zenseact is a software company that designs the complete software stack for autonomous driving and advanced driver-assistance systems. Recently, the…
BNP Paribas: The Critical Role of Pricer Software in Banking and Finance
BNP Paribas Global Markets’ main challenge in this instance was to develop a risk calculation engine capable of accurately processing millions of…
deepsense.ai: Copilot for Ada programming language to boost developer productivity
The Copilot for Ada programming language project aimed to research and develop a proof-of-concept code completion tool and evaluate its performance…
