Interested in learning about Ada and SPARK?
Learn.adacore.com is our new interactive learning platform designed to teach the Ada and SPARK programming languages.
- Security-Hardening Software Libraries with Ada and SPARK 6/8/2021
- How the Analyzer can Help the User Help the Analyzer 5/5/2021
- How to Develop Reliable Spacecraft Systems at Lower Cost with the Ada Programming Language 2/18/2021
- SPARK 2014 Reference Manual - Release 2020 1/6/2021
- Recursive Data Structures in SPARK 11/5/2020