Related Projects

From vecolib

Revision as of 11:44, 27 March 2015 by Sighireanu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

ACSL by Example initiative for providing formal specification of C algorithms and containers.
ProofInUse project is a joint laboratory between AdaCore and INRIA.
SPARK 2014 technology for proves of Ada programs.
Verifast a a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.

Retrieved from "http://vecolib.imag.fr/index.php?title=Related_Projects&oldid=10267"