Resources
Your hub for AdaCore knowledge
Latest Blog Posts
Andrea Bristol
Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
As 2025 comes to a close, it’s clear that this has been one of the most significant years in AdaCore’s history. Our work to help organisations build safe, secure, and reliable software has reached…
Mark Hermeling
MISRA for Memory Safety
MISRA is the top coding standard for C/C++ in embedded systems, but its full adherence is often…
Fabien Chouteau
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Advent of Ada/SPARK is back! Solve Advent of Code 2025 challenges in Ada/SPARK and help us raise up…
Andrea Bristol
Highlights from the High Integrity Software Conference 2025
The High Integrity Software Conference (HISC) returned to the International Convention Centre Wales…
Case Studies
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…
LatenceTech: Innovating Network Tools
In the context of the evolving telecommunications industry, characterized by the emergence of 5G and a surge of connected devices in IoT,…
