The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Aug 11, 2026
Claire Dross
Multiple Levels of Models and Refinement
See how layered abstraction bridges specs and arrays in SPARKlib's hashed set implementation.
Read More
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
Gem #139 : Master the Command Line - Part 2
Dec 10, 2012