Blog
An Insight Into the AdaCore Ecosystem
GNAT IQ
Frederic Leger, Nicolas Roche
AdaCore Software Supply Chain Security Evolution
AdaCore has elevated its software supply chain practices and now generates its deliverables in a CMMC Level 2 and SLSA build level 3 compliant…
Mark Hermeling
Formal Methods To Improve Code Quality
Memory safety is rightly a major focus in embedded systems. This article outlines the difference between static and dynamic memory safety, and how…
Mark Hermeling
GNATpolyglot: Mastering Multiple Languages
This blog introduces GNATpolyglot, a new capability in the GNAT Pro toolchain.
Johannes Kanig
Scalable SPARK Proofs
This blog post explains how a SPARK function for counting character occurrences was formally verified to ensure both absence of runtime errors and…
Fabien Chouteau
Ada/SPARK Crate Of The Year 2025 Winners Announced!
The annual Ada/SPARK Crate of the Year Awards celebrate the outstanding contributions made to the growing Ada/SPARK ecosystem through Alire.
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…
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 good cause. It is now time for the results!
Romain Gora
Rust Memory Management: The Playroom Analogy
This article builds on 'Introduction to Ada: a project-based exploration with rosettas', which walked through the development of a fun, end-to-end…
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 associated with safety-critical and real-time systems.…
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…
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…
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 to $5,000 for Ada Developers Academy.