The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Jul 28, 2026
Mark Hermeling
SPARK Doesn't Comply With MISRA C. It Makes Most of It Moot.
See how a rule-by-rule comparison of SPARK against MISRA C shows most hazards become moot by design, the rest proven or rejected by the compiler,…
Read More
Nov 16, 2009
Gem #74: Tokeneer Discovery - Lesson 4
Nov 02, 2009
Gem #73: Tokeneer Discovery - Lesson 3
Oct 19, 2009
Gem #72: Tokeneer Discovery - Lesson 2
Oct 05, 2009
Gem #71: Tokeneer Discovery - Lesson 1
Sep 21, 2009
Gem #70: The Scope Locks Idiom
Sep 07, 2009
Gem #69: Let's SPARK! — Part 2
Jun 29, 2009
Gem #68: Let's SPARK! — Part 1
Jun 15, 2009
Gem #67: Managing the GPS Workspace
Jun 01, 2009
Gem #66: GPS's Key Shortcuts Editor
May 18, 2009
Gem #65: gprbuild
May 04, 2009
Gem #64: Handling Multiple-Unit Source Files
Apr 21, 2009