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
Jan 25, 2010
Gem #78: Where did my memory go? (Part 2)
Jan 11, 2010
Gem #77: Where did my memory go? (Part 1)
Dec 14, 2009
Gem #76: Tokeneer Discovery - Lesson 6
Nov 30, 2009
Gem #75: Tokeneer Discovery - Lesson 5
Nov 16, 2009
Gem #74: Tokeneer Discovery - Lesson 4
Nov 02, 2009
Gem #73: Tokeneer Discovery - Lesson 3
Oct 19, 2009
Gem #72: Tokeneer Discovery - Lesson 2
Oct 05, 2009
Gem #71: Tokeneer Discovery - Lesson 1
Sep 21, 2009
Gem #70: The Scope Locks Idiom
Sep 07, 2009
Gem #69: Let's SPARK! — Part 2
Jun 29, 2009
Gem #68: Let's SPARK! — Part 1
Jun 15, 2009