21 results (0.01 seconds)
Standalone Ada/SPARK bindings to GCC atomic built-ins Fabien Chouteau MIT ...
Experimental SPARK Constant Time Big Integer library Cesar SAGAERT MIT ...
Programs from the book Program Proofs in SPARK Yannick Moy Apache-2.0 ...
SPARK/Ada Algorithms Targeting Advanced Network Applications amosteo@unizar.es vinzent@heisenbug.eu WTFPL ...
Unbound data structures in Ada-Spark Manuel Hatzl MIT ...
Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library Rod Chapman Jon Andrew BSD-3-Clause ...
SPAT - SPARK Proof Analysis Tool vinzent@heisenbug.eu WTFPL ...
Verified Ascii To Number conversion written in Ada/SPARK Manuel Hatzl MIT ...
Minimal Ada/SPARK run-time for embedded or other restricted targets Fabien Chouteau GPL-3.0-or-later WITH GCC-exception-3.1 ...