swMATH ID: 4893
Software Authors: Stephen F. Siegel, Timothy K. Zirkel
Description: 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.
Homepage: http://vsl.cis.udel.edu/pubs/fevs_tr_2011.html
Programming Languages: C
Keywords: formal verification; Functional Equivalence Verification
Cited in: 0 Publications
Further Publications: http://vsl.cis.udel.edu/pubs/index.html