Related Projects

From vecolib

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"