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
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 to measure our code coverage.
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.…
Claire Dross
Reasoning about Linked Structures in an Array
Reasoning about linked data structures within an array is complicated, requiring high-level…
Case Studies
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…
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…
Starting Left: How eLeapPower Supports Continuous Innovation with Static Analysis
eLeapPower is an automotive technology company that develops advanced electric powertrain and charging systems for electric vehicles. To help meet…
