see also the index (by topic, by tool, by reference, by year)
SPARK 2014
https://www.adacore.com/about-spark/
SPARK 2014 is an environment for analysis of Ada source code
- Abstract models and refinement in SPARK: allocators example
- Binary Search, SPARK/Ada version
- Cartesian Trees (from VerifyThis 2019) in SPARK
- Computation of the trajectory of an object submitted to gravity
- Euler Project problem 11, SPARK/Ada version
- Longest common prefix, in SPARK
- Queues, in SPARK
- Red-Black Trees in SPARK
- The BitWalker, SPARK version
see also the index (by topic, by tool, by reference, by year)