Blog
An Insight Into the AdaCore Ecosystem
Mar 03, 2026
Mark Hermeling
Formal Methods To Improve Code Quality
Memory safety is rightly a major focus in embedded systems. This article outlines the difference between static and dynamic memory safety, and how…
Read More
Sep 15, 2008
Gem #44: Accessibility Checks (Part III)
Sep 08, 2008
Gem #43: Safe and Secure Software : Chapter 7, Safe Memory Management
Jul 07, 2008
Gem #42: Safe and Secure Software : Chapter 6, Safe Object Construction
Jun 30, 2008
Gem #41: Accessibility Checks (Part II: Ada2005)
Jun 16, 2008
Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming
Jun 09, 2008
Gem #39: Efficient Stream I/O for Array Types
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