MPI-CHECK
From MaRDI portal
Software:13354
No author found.
Related Items (5)
Deadlock detection in MPI programs ⋮ MPI correctness checking for OpenMP/MPI applications ⋮ ComPASS : a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes ⋮ Unnamed Item ⋮ System-level state equality detection for the formal dynamic verification of legacy distributed applications
This page was built for software: MPI-CHECK
