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
Kyriakos Georgiou, Paul Butcher
Breaking the Triage Bottleneck: When GNAT SAS meets GNAT DAS
Stop debating false positives. GNATfuzz hot-spot fuzzes exactly what GNAT SAS flags, delivering proof for Ada/SPARK safety-critical code.
M. Anthony Aiello
GNAT Foundry Intersection: Demonstrating Trustworthy AI Development
GNAT Foundry demos AdaCore's tools providing deterministic trust in artifacts produced by AI,…
Olivier Henley
Wishbone-NPU: A Neural Processing Unit for RISC-V Soft-Cores, Built by Students
See how AdaCore-sponsored students built an open-source NPU, then used it to run a 14-stage CNN on…
Mark Hermeling
Ada SPARK Office Hours
AdaCore hosts Ada SPARK Office Hours, an open forum for the community to learn, share, and…
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…
