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
Nov 24, 2008
Gem #54: Scripting Capabilities in GNAT (Part 2)
Nov 17, 2008
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Nov 10, 2008
Gem #52: Scripting Capabilities in GNAT (Part 1)
Nov 03, 2008
Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK
Oct 27, 2008
Gem #50: Overload Resolution
Oct 20, 2008
Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency
Oct 13, 2008
Gem #48: Extending Interfaces in Ada 2005
Oct 06, 2008
Gem #47: Safe and Secure Software : Chapter 9, Safe Communication
Sep 29, 2008
Gem #46: Incompatibilities between Ada 83 and Ada 95
Sep 22, 2008
Gem #45: Safe and Secure Software : Chapter 8, Safe Startup
Sep 15, 2008
Gem #44: Accessibility Checks (Part III)
Sep 08, 2008