Blog
An Insight Into the AdaCore Ecosystem
Mar 19, 2026
Kyriakos Georgiou
Hardware-Driven Security: Can CHERI Fix the "Blind Spots" of Software Testing?
This work combines fuzz testing with CHERI hardware. Unlike heuristic-based sanitizers, CHERI uses hardware-enforced capabilities - pointers with…
Read More
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
Formal Verification Made Easy!
Jan 18, 2016
Emma Adby