MPI-CHECK
From MaRDI portal
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