Related Projects

From vecolib
Revision as of 11:25, 27 March 2015 by Sighireanu (Talk | contribs) (Created page with "* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory. * [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs. * [http://people.cs.kuleuven.b...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
  • ProofInUse laboratory.
  • 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=10253"