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
May 28, 2012
Gem #126 : Aggregate Library Projects
May 14, 2012
Gem #125: Detecting infinite recursion with GDB's Python API
Apr 30, 2012
Gem #124 : Scripting GPS for Static Analysis
Apr 17, 2012
Gem #123: Implicit Dereferencing in Ada 2012
Apr 10, 2012
Gem #122: Breakpoint Commands — Part 2
Mar 12, 2012
Gem #121 Breakpoint Commands — Part 1
Mar 12, 2012
Gem #120 : GDB Scripting — Part 2
Feb 27, 2012
Gem #119 : GDB Scripting— Part 1
Feb 13, 2012
Gem #118: File-System Portability Issues and GNATCOLL.VFS
Feb 01, 2012
Gem #117: Design Pattern: Overridable Class Attributes in Ada 2012
Feb 01, 2012
Gem #116: Ada and C++ Exceptions
Feb 01, 2012