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.

• ​Toolkit for Accurate Scientific Software (TASS)
• ​MPI-Spin
• ​KLEE
  • ​Discussion
  • ​UC-KLEE
  • ​KLEE-FP and ​paper
• ​CBMC
• ​SATABS
• ​Wolverine
• ​Peggy
• ​SymDiff
• ​Synopsys Formality
• ​Pincette
• ​TVS
• RVT: ​Paper
• ISA ​paper and ​tool