spark-guidance

adacore.comsite

Implementation Guidance for the Adoption of SPARK.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   gems ada-lang.io

   site category #ada link ↗

   Ada Gem Archive.

2. ▲
   SPARK adacore.com

   site category #static-analysis link ↗

   copyright: — Static analysis and formal verification toolset for Ada.

   
3. ▲
   SPIPs spark.apache.org

   site category #standards link ↗

   Spark project improvement proposals.

4. ▲
   subreddit-spark reddit.com

   site category #ada link ↗

   Spark at Reddit.

5. ▲
   adacore-blog blog.adacore.com

   site category #ada link ↗

   An insight into the AdaCore ecosystem.

   
6. ▲
   spark-by-example github.com

   tool category #ada link ↗

   Collection of verified functions and data types in SPARK.

Ada/SPARK › Education > Online Books: “Implementation Guidance for the Adoption of SPARK.”