List of Projects Dealing with Verification of Functional Equivalence of Programs

 * [http://vsl.cis.udel.edu/tass Toolkit for Accurate Scientific Software] (TASS)