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
Information Hiding and Context Management in SPARK
A previous blog explored the verification of the formal hashed sets package in SPARKlib. This post will explain the techniques used to simplify the proof by hiding unnecessary information from the…
Matthieu Eyraud
Unit Testing with Google Test and GNATcoverage
This blog explores the use of Google Test to drive our unit test cases, combined with GNATcoverage…
Mark Hermeling, Sean Evoy
From CodeSecure to AdaCore: Our Journeys in Product and Technical Marketing
Hear from Mark Hermeling and Sean Evoy about how they’ve found their transition from CodeSecure to…
Mark Hermeling
Ada on Zephyr: How the Alire Skill Wires It Together
Integrating Ada code into Zephyr can be simple as a single LLM prompt and a single make command.…
Case Studies
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…
Zenseact Chooses SPARK for Automotive Safety
Zenseact is a software company that designs the complete software stack for autonomous driving and advanced driver-assistance systems. Recently, the…
Boston Scientific Streamline Analysis of Medical Device Software
One of the world’s largest medical device companies, Boston Scientific was performing lengthy manual analyses because no automated tool provided the…
