Blog
An Insight Into the AdaCore Ecosystem
Dec 15, 2025
Andrea Bristol
Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
As 2025 comes to a close, it’s clear that this has been one of the most significant years in AdaCore’s history. Our work to help organisations build…
Read More
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
Gem #27: Changing Data Representation (Part 1)
Feb 25, 2008
Gem #26: The Mod Attribute
Feb 11, 2008