Efficient Verification Solutions for Message Passing Systems

Subodh Sharma, Ganesh Gopalakrishnan
May, 2011
PDF Cite
Type
Conference paper
Publication
In 25th {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2011, Anchorage, Alaska
MPI runtime verification