List of Projects Dealing with Verification of Functional Equivalence of Programs

Some of these may not deal directly with functional equivalence, but could be applicable to that problem.

 * [http://vsl.cis.udel.edu/tass Toolkit for Accurate Scientific Software] (TASS)
 * [http://klee.llvm.org/ KLEE]
   * [http://blog.gmane.org/gmane.comp.compilers.llvm.klee Discussion]
   * [http://keeda.stanford.edu/~daramos/ucklee-cav-2011.pdf UC-KLEE]
   * [http://www.pcc.me.uk/~peter/klee-fp/ KLEE-FP] and  [http://www.doc.ic.ac.uk/~pcc03/eurosys11klee.pdf paper]
 * [http://www.cprover.org/cbmc/ CBMC]
 * [http://www.cprover.org/satabs/ SATABS]
 * [http://www.cprover.org/wolverine/ Wolverine]
 * [http://cseweb.ucsd.edu/~mstepp/peggy/ Peggy]