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
Andrea Bristol
AdaCore Partners with Prologin to Support the Girls Can Code! Initiative
AdaCore partners with Prologin’s Girls Can Code! to boost gender diversity in computer science. Meet Ethan Perruzza and learn more.
Mark Hermeling
RustConf 2026 - Montreal
See how RustConf 2026 advanced safety-critical Rust, from functional safety certification and code…
Filip Gajowniczek
Experiencing the Journey Towards Memory Safety
From C++ to memory-safe Ada: AI code translation and CodeSonar static analysis on NASA's F' flight…
Mark Hermeling
Catching Defects Before They Fly
See how CodeSonar static analysis finds a null pointer dereference and interprocedural resource…
Case Studies
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…
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…
