FEVS: a functional equivalence verification suite for high-performance scientific computing

DOI10.1007/s11786-011-0101-6zbMath1264.68066OpenAlexW1978898818MaRDI QIDQ1949768

Timothy K. Zirkel, Stephen F. Siegel

Publication date: 16 May 2013

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0101-6

zbMATH Keywords

verificationparallel programmingbenchmarkfunctional equivalence

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Numerical approximation and computational geometry (primarily algorithms) (65D99)

Related Items

TASS: the toolkit for accurate scientific software, Dynamic symbolic verification of MPI programs, Branch-locking AD techniques for nonsmooth composite functions and nonsmooth implicit functions

Uses Software

• TVOC
• KRAKATOA
• Why3
• Caduceus
• KLEE
• ISP
• MPI
• MARMOT
• ASTREE

Cites Work

• Unnamed Item
• Unnamed Item
• A high-performance, portable implementation of the MPI message passing interface standard
• Collective Assertions
• Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
• A Complexity Measure
• Computer Science Logic
• Programming Languages and Systems
• Computer Aided Verification