Blog
An Insight Into the AdaCore Ecosystem
Apr 16, 2026
Claire Dross
Formally Verified Hashed Sets in Ada SPARK
This blog explores the formal verification of an implementation of bounded hashed sets in Ada SPARK.
Read More
Jun 03, 2013
Gem #149 : Asserting the truth, but (possibly) not the whole truth
Jun 02, 2013
Yannick Moy
Project Hi-Lite Wrap-up
After three years of hard work, we have reached last week the end of project Hi-Lite, whose goal was to simplify the use of formal methods. We're…
May 20, 2013
Gem #148 : Su(per)btypes in Ada 2012 - Part 3
May 06, 2013
Gem #147 : Su(per)btypes in Ada 2012 - Part 2
Apr 22, 2013
Gem #146 : Su(per)btypes in Ada 2012 - Part 1
Apr 08, 2013
Gem #145: Ada Quiz 3 - Statements
Mar 25, 2013
Gem #144: A Bit of Bytes: Characters and Encoding Schemes
Mar 11, 2013
Gem #143 : Return to the Sources
Feb 25, 2013
Gem #142 : Exception-ally
Feb 11, 2013
Gem #141 : Con-figure it out
Jan 28, 2013
Gem #140: Bridging the Endianness Gap
Jan 14, 2013