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

DOI10.1002/cpe.705zbMath1005.68584OpenAlexW2160611910MaRDI QIDQ4794724

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

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

MPItoolbounds checkingargument checkingdata type checking

Mathematics Subject Classification ID

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

Related Items (2)

System-level state equality detection for the formal dynamic verification of legacy distributed applications ⋮ MPI-CHECK

Uses Software

• MPI
• NAS Parallel Benchmarks
• Eraser

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