Changes between Version 1 and Version 2 of Equivalence Verification Projects


Ignore:
Timestamp:
07/21/11 00:20:52 (15 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Equivalence Verification Projects

    v1 v2  
    22List of Projects Dealing with Verification of Functional Equivalence of Programs
    33
     4Some of these may not deal directly with functional equivalence, but could be applicable to that problem.
     5
    46 * [http://vsl.cis.udel.edu/tass Toolkit for Accurate Scientific Software] (TASS)
     7 * [http://klee.llvm.org/ KLEE]
     8   * [http://blog.gmane.org/gmane.comp.compilers.llvm.klee Discussion]
     9   * [http://keeda.stanford.edu/~daramos/ucklee-cav-2011.pdf UC-KLEE]
     10   * [http://www.pcc.me.uk/~peter/klee-fp/ KLEE-FP] and  [http://www.doc.ic.ac.uk/~pcc03/eurosys11klee.pdf paper]
     11 * [http://www.cprover.org/cbmc/ CBMC]
     12 * [http://www.cprover.org/satabs/ SATABS]
     13 * [http://www.cprover.org/wolverine/ Wolverine]
     14 * [http://cseweb.ucsd.edu/~mstepp/peggy/ Peggy]