Resources
Browse a collection of resources designed to help you build safer, more secure software. Explore real-world case studies, technical guides, books, and the latest updates from the AdaCore blog.
Latest Blog Posts
Claire Dross
From Raw Arrays to Typed Ownership: A Layered Allocator in SPARK
Formal proof isn't all-or-nothing. See how a layered SPARK allocator pairs proven code with a thin, audited boundary.
Olivier Henley
Ada-FPGA-Programmer: Configuring a Tang Nano 9K from Bare-Metal Ada, Built by Students
See how Rose-Hulman students built an open-source Ada FPGA programmer using STM32, JTAG, and SPI to…
Kyriakos Georgiou, Paul Butcher
Breaking the Triage Bottleneck: When GNAT SAS meets GNAT DAS
Stop debating false positives. GNATfuzz hot-spot fuzzes exactly what GNAT SAS flags, delivering…
M. Anthony Aiello
GNAT Foundry Intersection: Demonstrating Trustworthy AI Development
GNAT Foundry demos AdaCore's tools providing deterministic trust in artifacts produced by AI,…
Case Studies
NASA Study Explores the Benefits of Static Analysis
NASA operates the Space Network, a mission-critical satellite telecommunications system that requires continuous, uninterrupted service. To improve…
How Stoneridge, Inc. Enhances Vehicle Safety with CodeSonar®
CodeSonar helps Stoneridge to achieve the safety and security that they need, efficiently allowing engineers to spend more time developing new and…
How Autoliv Transformed Its Embedded Code Quality with CodeSonar®
CodeSonar allowed Autoliv, a leader in automotive safety systems, to centralize analysis results, manage priorities and justifications directly…
