FEVS: a functional equivalence verification suite for high-performance scientific computing
type: Item
instance of: scholarly article
title: FEVS: a functional equivalence verification suite for high-performance scientific computing
zbMATH Open document ID: 1264.68066
author: Stephen F. Siegel
author: Timothy K. Zirkel
published in: Mathematics in Computer Science
publication date: 2013-05-16T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 65D99
zbMATH DE Number: 6163704
zbMATH Keywords: verification
zbMATH Keywords: parallel programming
zbMATH Keywords: functional equivalence
zbMATH Keywords: benchmark
describes a project that uses: Why3
describes a project that uses: ISP
describes a project that uses: KLEE
describes a project that uses: MARMOT
describes a project that uses: KRAKATOA
describes a project that uses: Caduceus
describes a project that uses: ASTREE
describes a project that uses: TVOC
describes a project that uses: MPI
MaRDI profile type: Publication
full work available at URL: s11786-011-0101-6
OpenAlex ID: W1978898818
cites work: Computer Aided Verification
cites work: Programming Languages and Systems
cites work: Computer Science Logic
cites work: Q4738356
cites work: A high-performance, portable implementation of the MPI message passing interface standard
cites work: Q5553606
cites work: A Complexity Measure
cites work: Collective Assertions
cites work: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
DOI: 10.1007/S11786-011-0101-6
description: scientific article; zbMATH DE number 6163704