The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Oct 22, 2026
Tom Bosque-Jehier
Proving Kruskal’s Algorithm in SPARK: When Generative AI Meets Formal Verification
Can Generative AI prove SPARK code? Testing Claude on formal verification of Kruskal’s MST algorithm, Gale-Shapley and sorting.
Read More
Feb 01, 2012
Gem #115: Lego Mindstorms Ada Environment — Part 2
Feb 01, 2012
Gem #114: Logging with GNATCOLL.Traces
Nov 07, 2011
Gem #113: Visitor Pattern in Ada
Oct 17, 2011
Gem #112: Lego Mindstorms Ada Environment — Part 1
Oct 03, 2011
Gem #111: The Distributed Systems Annex, Part 5 — Embedded Name Server
Sep 21, 2011
Gem #110: Ada Plug-ins and Shared Libraries — Part 2
Sep 05, 2011
Gem #109: Ada Plug-ins and Shared Libraries — Part 1
Jun 17, 2011
Gem #108: Gprbuild and Configuration Files — Part 2
Jun 06, 2011
Gem #107: Preventing Deallocation for Reference-counted Types
May 23, 2011
Gem #106: Lady Ada Kisses Python — Part 2
May 09, 2011
Gem #105: Lady Ada Kisses Python — Part 1
Apr 26, 2011