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
M. Anthony Aiello
memcp: token-efficient, multi-project, multi-surface external memory for AI agents written in SPARK Silver
Look at how far AI-assisted SPARK has come: this blog covers rewriting memcp from Python into SPARK, proved to Silver in about a week — what the AI handled alone, where it stumbled at the FFI…
Mark Hermeling
SPARK Doesn't Comply With MISRA C. It Makes Most of It Moot.
See how a rule-by-rule comparison of SPARK against MISRA C shows most hazards become moot by…
Mark Hermeling
Prototyping memory safety in your automotive stack — in weeks, not years
Learn how pairing LLM translation with GNATpolyglot's automated bindings collapses the cost of…
Mark Hermeling
Building and evolving multi-language systems with confidence using GNATpolyglot
See how GNATpolyglot lets you call high-integrity Ada/SPARK code from C++, Java, and Rust, with the…
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…
