Blog
An Insight Into the AdaCore Ecosystem
Hardware-Driven Security: Can CHERI Fix the "Blind Spots" of Software Testing?
M. Anthony Aiello
Let’s Write a Safety Monitor for a Mars Rover!
The Ada Mars Rover shouldn’t crash into obstacles. See how we formalized this property, discovered an unstated assumption in our remote-control mode…
Pat Rogers
Ada in Practice, a New Learn Course
A new Learn course is now available, focusing on how to use the Ada language to express common idioms, both language-dependent and -independent.
Charis Fisher, Cléa Mendelewski
Building the Future: My Path from Software Research to Leadership
To celebrate Global Engineering Day, we’re looking at what it’s like to work as a truly global engineer, collaborating with international colleagues…
Justin Squirek
A new math library for Ada: Neo.SIMD
Developing a game engine often requires a highly optimized linear algebra library for tasks like physics, camera movement, and AI. While many…
Ben Brosgol
Verifying FACE® Conformance for Ada Software
The FACE® approach (Future Airborne Capability Environment®) is a joint government-industry initiative to reduce system life cycle costs for airborne…
Olivier Henley
Open-Source Ada: From Gateware to Application
The Neorv32 BIOS project demonstrates how Ada can serve as a powerful alternative to C in open-source embedded development. Using a fully open-source…
Fabien Chouteau
Ada/SPARK Crate Of The Year 2024 Winners Announced!
In 2024 we announced our fourth Ada/SPARK Crate Of The Year Awards. We see the Alire source package manager as a game changer for Ada/SPARK, so we…
Fabien Chouteau
Advent of Ada/SPARK 2024 Results
At the end of November, we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of…
Jose Ruiz
GNAT Pro 25: New Features, Platforms, and Tools
2025 is a new year of growth for the GNAT Pro family to help people develop safe, secure, and efficient code on a large variety of software and…
César Sagaert
Learning Ada with raytraced teapots
Introducing the Ada language with a fun 3D rendering project
Paul Butcher
Building Safety by Design: CHERI in Critical Systems Development
Paul Butcher, the Secure Avioincs by Design Project Manager for AdaCore, discusses the usage of CHERI in safety-critical software.
Andrea Bristol
AdaCore’s 2024; Highlights from our 30th year in Business
As AdaCore celebrates the start of a new year in business, we reflect on 2024, a year of development and future-proofing combined with consolidating…