The AdaCore Blog
An Insight Into the AdaCore Ecosystem
May 13, 2026
Matthieu Eyraud
Unit Testing with Google Test and GNATcoverage
This blog explores the use of Google Test to drive our unit test cases, combined with GNATcoverage to measure our code coverage.
Read More
Apr 18, 2016
Emma Adby
Certification and Qualification
Apr 13, 2016
Jérôme Lambourg
Efficient use of Simics for testing
Apr 07, 2016
Emma Adby
VectorCAST/Ada: Ada 2012 Language Support
Apr 03, 2016
Yannick Moy
Did SPARK 2014 Rethink Formal Methods?
David Parnas is a well-known researcher in formal methods, who famously contributed to the analysis of the shut-down software for the Darlington…
Mar 16, 2016
Emma Adby
Provably safe programming at Embedded World
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