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.
FEVS is open source software distributed under the GNU Public License.