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
Mark Hermeling
Ada SPARK Office Hours
AdaCore hosts Ada SPARK Office Hours, an open forum for the community to learn, share, and collaborate. Learn more inside.
Mark Hermeling
Specifications Matter: The Case for SPARK in the Undergraduate Curriculum
Explore how AI changes what's worth grading in computer science, and how SPARK gives you something…
Claire Dross
Multiple Levels of Models and Refinement
See how layered abstraction bridges specs and arrays in SPARKlib's hashed set implementation.
Mark Hermeling
AI Will Multiply Your Code Output. It Will Also Multiply Your Liability
See how AI's coding speed multiplies your liability in C/C++, and how SPARK changes that equation.
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…
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…
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…
