ISP: a tool for model checking MPI programs

Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
February, 2008
PDF Cite
Type
Conference paper
Publication
In Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT, USA, February 20-23, 2008