Resources
Your hub for AdaCore knowledge
Latest Blog Posts
Mark Hermeling
MISRA for Memory Safety
MISRA is the top coding standard for C/C++ in embedded systems, but its full adherence is often impractical. Its rules can be split into three buckets: code quality and understandability, actual bugs…
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…
Andrea Bristol
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
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,…
