A sound reduction of persistent-sets for deadlock detection in MPI applications
From MaRDI portal
Publication:5200486
Recommendations
- Deadlock detection in MPI programs
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
- Dynamic symbolic verification of MPI programs
- Verification, Model Checking, and Abstract Interpretation
- State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
Cited in
(6)- Verification, Model Checking, and Abstract Interpretation
- Deadlock detection in MPI programs
- Dynamic symbolic verification of MPI programs
- scientific article; zbMATH DE number 5629953 (Why is no real title available?)
- State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI
- Unfolding-based dynamic partial order reduction of asynchronous distributed programs
This page was built for publication: A sound reduction of persistent-sets for deadlock detection in MPI applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200486)