MPI-CHECK
From MaRDI portal
Software:13354
swMATH599MaRDI QIDQ13354FDOQ13354
Author name not available (Why is that?)
Cited In (5)
- MPI correctness checking for OpenMP/MPI applications
- Title not available (Why is that?)
- ComPASS : a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Deadlock detection in MPI programs
This page was built for software: MPI-CHECK
