The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Jun 25, 2026
Fabien Chouteau
Announcing the 2026 Ada/SPARK Crate of the Year Award
We're happy to announce the sixth edition of our programming awards, The Ada/SPARK Crate of the Year Award!
Read More
Mar 10, 2016
Emma Adby
CubeSat continues to orbit the Earth thanks to Ada & SPARK!
Mar 10, 2016
Yannick Moy
Formal Verification of Legacy Code
Mar 04, 2016
Yannick Moy
SPARK Prez at New Conference on Railway Systems
RSSR is a new conference focused on the development and verification of railway systems. We will present there how SPARK can be used to write…
Mar 03, 2016
Fabien Chouteau
Make with Ada: Candy dispenser, with a twist...
Mar 02, 2016
Emma Adby
Embedded Product Line Updates
Feb 23, 2016
Emma Adby
QGen 2.1 Release!
Jan 27, 2016
Emma Adby
Formal Verification Made Easy!
Jan 18, 2016
Emma Adby
ERTS and Embedded World conferences 2016
Jan 12, 2016
Jérôme Lambourg
Porting the Ada Runtime to a new ARM board
A step by step tutorial to adapt the ARM runtime to new MCUs/boards.
Dec 18, 2015
Yannick Moy, Emma Adby
Ada Lovelace Bicentennial
Dec 14, 2015
Emma Adby
Dissimilar tools: Use cases and impact on tool qualification level
Nov 30, 2015
Yannick Moy
GNATprove Tips and Tricks: What’s Provable for Real?
SPARK supports two ways of encoding reals in a program: the usual floating-point reals, following the standard IEEE 754, and the lesser known…