Blog
An Insight Into the AdaCore Ecosystem
Feb 04, 2026
Mark Hermeling
Formal Methods Practice and Theory
Formal methods offer a rigorous way to connect requirements to implementation, enabling developers to prove key properties such as the absence of…
Read More
Jun 14, 2010
Gem #88: GPS - Smart Completion (Part 1 of 2)
Jun 02, 2010
Gem #87: The Distributed Systems Annex, Part 3 — Mailboxes
May 17, 2010
Gem #86: Ada Quiz 1 - Basic Types
May 03, 2010
Gem #85:The Distributed Systems Annex 2 — Distributed Objects
Apr 19, 2010
Gem #84: The Distributed Systems Annex 1 - Simple client/server
Apr 05, 2010
Gem #83: Type-Based Security 2: Validating the Input
Mar 22, 2010
Gem #82: Type-Based Security 1: Handling Tainted Data
Mar 08, 2010
Gem #81: GNAT Semaphores
Feb 25, 2010
Gem #80: Speedy Shift and Rotate in SPARK
Feb 08, 2010
Gem #79: Where did my memory go? (Part 3)
Jan 25, 2010
Gem #78: Where did my memory go? (Part 2)
Jan 11, 2010