SPARK Proof Analysis Tool
proof
ada
formal-verification
gnatprove
spark-ada
ada2012
ada-language
spark2014
spark-proof-analysis
-
Updated
Oct 19, 2020 - Ada
SPARK Proof Analysis Tool
A cryptographic framework, proven for correctness in SPARK
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Example of Bitcoin transaction parsing with Ada/SPARK2014
Add a description, image, and links to the spark2014 topic page so that developers can more easily learn about it.
To associate your repository with the spark2014 topic, visit your repo's landing page and select "manage topics."