ISP: a tool for model checking MPI programs.

Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby

Browse the full PPoPP paper archive.