Related Projects
From vecolib
Revision as of 11:25, 27 March 2015 by Sighireanu (Talk | contribs)
- 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.
