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
Tobias Reiher
Running cargo test on Bare Metal: Adding libtest Support to GNAT Pro for Rust
This post walks through how we added libtest support to GNAT Pro for Rust using the AMD Zynq UltraScale+ MPSoC as the concrete example.
Ronan Desplanques
Proving asymptotic time complexity bounds with SPARK
This blog explores whether SPARK be used to prove something about the time complexities of…
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…
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…
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…
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…
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…
