Blog
An Insight Into the AdaCore Ecosystem
A New Booklet on AdaCore Technologies for Airborne Software
Andrea Bristol
What would Ada think of the rise in Ada Language Popularity?
This Ada Lovelace Day, we are celebrating what has been a positive year for the Ada Programming Language, and we ask ourselves, what would Ada think?…
Elisa Bell
From Interns to New Hires: Writing the Next Chapter at AdaCore
Mathéo Rome, Anne-Lise Magagnin, and Julian Coux share their experiences as interns at AdaCore, where they worked on independent projects while being…
Stephen Hedrick
Navigating Mars with Rust: Helping the Rover See In Computer Vision
This blog explores how Rust enables computer vision on a Mars rover, overcoming hardware limits to deliver reliable obstacle detection and autonomous…
Romain Gora
Introduction to Ada: a project-based exploration with rosettas
Discover Ada through a fun, project-based tutorial! Learn the language’s clarity, safety, and modern features while building an SVG rosetta…
Andrea Bristol
Formal Methods in Practice: Government Lessons in Resilience and Adoption Context
As the software landscape grows ever more complex and interconnected, the demand for resilient, high-assurance systems continues to rise, especially…
Andrea Bristol
Ada and Rust are highlighted by the NSA and CISA in Memory Safe Language Information Sheet
Governments trust memory-safe languages like Ada and Rust — so do we. See why memory safety is essential for secure systems.
M. Anthony Aiello
Revisiting the Mars Rover Safety Monitor
In the blog "Let's Write a Safety Monitor for a Mars Rover", I made a big assumption in the procedure that moves that Rover forward; here, I relax…
Fabien Chouteau
Announcing the 2025 Ada/SPARK Crate of the Year Award
We're happy to announce the fifth edition of our programming awards, The Ada/SPARK Crate of the Year Award! The Alire package manager is a game…
Fabien Chouteau
Solving Sudoku with AdaSAT
Originally, constraint solving in Libadalang was handled by several ad-hoc solvers built specifically for different parts of the type system. These…
Andrea Bristol
What’s All the Fuzz About?
In this blog, we discover Fuzz Testing and how GNATFuzz can be used as part of AdaCore’s GNAT Dynamic Analysis Suite.
Edgar Delaporte
Improving SPARK Counter Examples with Fuzzing and Code Analysis
When analyzing a SPARK program with GNATprove, some verification conditions might remain unproven, whether because of a defect in the user’s code,…
Stephen Hedrick
Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover
This blog showcases how Rust was used to implement the D*-Lite pathfinding algorithm for an autonomous Mars rover simulation. It highlights Rust’s…