Blog
An Insight Into the AdaCore Ecosystem
Mar 05, 2026
Frederic Leger, Nicolas Roche
AdaCore Software Supply Chain Security Evolution
AdaCore has elevated its software supply chain practices and now generates its deliverables in a CMMC Level 2 and SLSA build level 3 compliant…
Read More
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
Gem #27: Changing Data Representation (Part 1)
Feb 25, 2008
Gem #26: The Mod Attribute
Feb 11, 2008
Gem #25: How to Search Text
Jan 28, 2008
Gem #24: Null Considered Harmful (Part 2—Efficiency)
Jan 14, 2008
Gem #23: Null Considered Harmful
Dec 17, 2007