MPI-CHECK

MaRDI QIDQ13354swMATHFDO

Official website http://hpcgroup.public.iastate.edu/HPC/Papers/mpicheck/mpicheck1.htm

Described by source

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

Cited in

(13)

• MPI correctness checking for OpenMP/MPI applications
• Gauss
• NAS Parallel Benchmarks
• MARMOT
• mpiP
• YASM
• MoonWalker
• ComPASS
• SimGridMC
• Coupling DDT and Marmot for debugging of MPI applications
• System-level state equality detection for the formal dynamic verification of legacy distributed applications
• Deadlock detection in MPI programs
• ComPASS: a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes

This page was built for software: MPI-CHECK