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
Mar 28, 2011
Gem #102: SOAP/WSDL client part
Mar 14, 2011
Gem #101: SOAP/WSDL server part
Feb 28, 2011
Gem #100: Reference Counting in Ada - Part 3: Weak References
Feb 14, 2011
Gem #99: Reference Counting in Ada - Part 2: Task Safety
Jan 31, 2011
Gem #98: High Performance Multi-core Programming - Part 2
Jan 17, 2011
Gem #97: Reference Counting in Ada - Part 1
Dec 06, 2010
Gem #96: Code Archetypes for Real-Time Programming - Part 4
Nov 22, 2010
Gem #95: Dynamic Stack Analysis in GNAT
Nov 08, 2010
Gem #94: Code Archetypes for Real-Time Programming - Part 3
Oct 25, 2010
Gem #93: High Performance Multi-core Programming - Part 1
Oct 11, 2010
Gem #92: Code Archetypes for Real-Time Programming - Part 2
Sep 27, 2010