Resources
Browse a collection of resources designed to help you build safer, more secure software. Explore real-world case studies, technical guides, books, and the latest updates from the AdaCore blog.
Latest Blog Posts
M. Anthony Aiello
MARS Rover GNC
See how SPARK both helps with autonomy- and control-relevant problems on the Mars Rover and integrates productively into agentic AI.
Mark Hermeling
How Language Design Impacts Security
In this blog we have created a table listing each CWE and/or CWE class, along with how each…
Fabien Chouteau
Announcing the 2026 Ada/SPARK Crate of the Year Award
We're happy to announce the sixth edition of our programming awards, The Ada/SPARK Crate of the…
Dana Binkley, Monika Kurovszky
International Women in Engineering Day: My Path to Success
Hear about what it’s like to work in technical roles at AdaCore from our Director of Field…
Case Studies
How Autoliv Transformed Its Embedded Code Quality with CodeSonar®
CodeSonar allowed Autoliv, a leader in automotive safety systems, to centralize analysis results, manage priorities and justifications directly…
Starting Left: How eLeapPower Supports Continuous Innovation with Static Analysis
eLeapPower is an automotive technology company that develops advanced electric powertrain and charging systems for electric vehicles. To help meet…
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…
