| Version 2 (modified by , 15 years ago) ( diff ) |
|---|
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.
Note:
See TracWiki
for help on using the wiki.
