FEVS

Fevs: A Functional Equivalence Verification Suite for High-Performance Scientific Computing. FEVS is a set of programs designed to be used as a test suite for tools that verify functional equivalence. The programs consist of a specification and one or more implementations.