MPI-CHECK: a tool for checking Fortran 90 MPI programs

DOI10.1002/CPE.705MaRDI QIDQ4794724zbMATH OpenOpenAlexFDO

Authors Glenn R. Luecke, Hua Chen, James J. Coyle, Jim Hoekstra, Marina Kraeva, Yan Zou

Publication date 20 February 2003

Published in Concurrency and Computation: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/cpe.705

zbMATH Keywords

toolMPIbounds checkingargument checkingdata type checking

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• MPI correctness checking for OpenMP/MPI applications
• Model Checking Software
• Model Checking Nonblocking MPI Programs
• Dynamic symbolic verification of MPI programs

Cited in

(6)

• MPI correctness checking for OpenMP/MPI applications
• Model Checking Nonblocking MPI Programs
• MPI-CHECK
• Memory debugging of MPI-parallel applications in Open MPI
• Coupling DDT and Marmot for debugging of MPI applications
• System-level state equality detection for the formal dynamic verification of legacy distributed applications

Describes a project that uses

Uses Software

• Eraser
• NAS Parallel Benchmarks
• MPI

This page was built for publication: MPI-CHECK: a tool for checking Fortran 90 MPI programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4794724)