FEVS 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