FEVS: a functional equivalence verification suite for high-performance scientific computing
scientific article; zbMATH DE number 6163704