Changes between Initial Version and Version 1 of Equivalence Verification Projects


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Equivalence Verification Projects

    v1 v1  
     1
     2List of Projects Dealing with Verification of Functional Equivalence of Programs
     3
     4 * [http://vsl.cis.udel.edu/tass Toolkit for Accurate Scientific Software] (TASS)