MPI-CHECK

swMATH599MaRDI QIDQ13354FDOQ13354

Author name not available (Why is that?)

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
• Coupling DDT and Marmot for debugging of MPI applications
• Gauss
• NAS Parallel Benchmarks
• MARMOT
• mpiP
• YASM
• MoonWalker
• ComPASS
• SimGridMC
• 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