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
Jun 02, 2008
Gem #38: Safe and Secure Software : Chapter 4, Safe Architecture
May 26, 2008
Gem #37: Bounded Buffer package in GNAT Hierarchy (Part 2)
May 19, 2008
Gem #36: Safe and Secure Software : Chapter 3, Safe Pointers
May 12, 2008
Gem #35: Bounded buffer package in GNAT hierarchy (Part 1)
May 05, 2008
Gem #34: Safe and Secure Software : Chapter 2, Safe Typing
Apr 28, 2008
Gem #33: Accessibility Checks (Part I: Ada95)
Apr 21, 2008
Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax
Apr 14, 2008
Gem #31: Preconditions/postconditions
Apr 08, 2008
Gem #30: Safe and Secure Software : Introduction
Mar 31, 2008
Gem #29: Introduction to the Ada Web Server (AWS)
Mar 17, 2008
Gem #28: Changing Data Representation (Part 2)
Mar 03, 2008