Blog
An Insight Into the AdaCore Ecosystem
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Fabien Chouteau
GNAT Pro 21.6 for LYNX MOSA.ic for Avionics (MfA)
Paul Butcher
Automated Assurance through Differential Fuzzing
This blog describes the concept and benefits of differential fuzz testing. In addition, the post describes setting up, executing and analyzing the…
Fabien Chouteau
AdaCore joins the Rust foundation
Last year we announced our strategic partnership with Ferrous Systems, a technology company specializing in the Rust programming language. Today we…
Fabien Chouteau
AdaCore at FOSDEM 2023
Fabien Chouteau
Ada/SPARK Crate Of The Year 2022 Winners Announced!
Fabien Chouteau
Advent of Ada/SPARK 2022 Results
At the end of November we called the Ada and SPARK programmers community to take on a challenge for a good cause. We are now in January and it is…
Fabien Chouteau
Our Contribution to the Ada Logo Discussion
From time to time we see, here and there, discussions in the Ada community about the design and adoption of a common logo to represent the language.…
Fabien Chouteau
Coroutines in Ada, a Clean but Heavy Implementation
A few months ago I was reading this article about coroutines in game development and how they are great tools for writing scripts (as in movie…
Pat Rogers
New Learn Course: Introduction To Embedded Systems Programming
Fabien Chouteau
Tis the Season to be Giving falalalala lalalala
Every year since 2015, a team of dedicated individuals led by Eric Wastl organizes an online programming challenge called: Advent of Code. The…
Fabien Chouteau
NVIDIA Security Team: “What if we just stopped using C?”
Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser…
Daniel King