A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
September, 2012
PDF Cite
Type
Conference paper
Publication
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012
DPOR MPI runtime verification