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

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

Related