The AdaCore Blog
An Insight Into the AdaCore Ecosystem
AI Will Multiply Your Code Output. It Will Also Multiply Your Liability
M. Anthony Aiello
memcp: token-efficient, multi-project, multi-surface external memory for AI agents written in SPARK Silver
Look at how far AI-assisted SPARK has come: this blog covers rewriting memcp from Python into SPARK, proved to Silver in about a week — what the AI…
Mark Hermeling
SPARK Doesn't Comply With MISRA C. It Makes Most of It Moot
See how a rule-by-rule comparison of SPARK against MISRA C shows most hazards become moot by design, the rest proven or rejected by the compiler,…
Mark Hermeling
Prototyping memory safety in your automotive stack — in weeks, not years
Learn how pairing LLM translation with GNATpolyglot's automated bindings collapses the cost of evaluating memory safety in your automotive firmware.
Mark Hermeling
Building and evolving multi-language systems with confidence using GNATpolyglot
See how GNATpolyglot lets you call high-integrity Ada/SPARK code from C++, Java, and Rust, with the binding layer regenerated automatically as your…
Mark Hermeling
Your Compiler Is Part Of Your Software Supply Chain
Discover why your compiler counts as a supply-chain component under the Cyber Resilience Act, and how GNAT Pro delivers the SBOM, vulnerability…
Mark Hermeling
Three Ways SPARK Catches Bugs Before Your Hardware Does
This blog explores how SPARK prevents mistakes and reduces the defects in your source code by up to 70%.
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 programming language addresses that category.
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 Year Award!
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 Engineering and a Senior Software Engineer.
Mark Hermeling
Abstract Interpretation vs Agentic AI
This blog explores how static analysis compares to using an LLM to find defects in source code, and when would you use one over the other.
Jose Ruiz
From Host to Target: Consolidating Code Coverage Across Execution Environments
This blog walks through a concrete example of how to get a unified code coverage picture from two separate execution environments.