Blog

Andrea Bristol

Highlights from the High Integrity Software Conference 2025

The High Integrity Software Conference (HISC) returned to the International Convention Centre Wales (ICC Wales) on 13 November 2025. HISC once again…

Andrea Bristol

Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy

Ben Brosgol

A New Booklet on AdaCore Technologies for Airborne Software

AdaCore has posted a new version of its booklet AdaCore Technologies for Airborne Software: Supporting certification and tool qualification for…

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…