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 18, 2007
Gem #6: The Ada95 Multiple Views Idiom vs. Ada05 Interfaces
Jun 11, 2007
Gem #5: Key-Based Searching In Set Containers
Jun 04, 2007
Gem #4: PWM Position Control for Radiocontrol Servos
May 28, 2007
Gem #3: Limited Types in Ada 2005 — Constructor Functions
May 21, 2007
Gem #2: Limited Types in Ada 2005 — <> Notation in Aggregates
May 14, 2007