Related Projects

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

Jump to: navigation, search
  • 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.