Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby. ISP: a tool for model checking MPI programs. In Siddhartha Chatterjee, Michael L. Scott, editors, 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. pages 285-286, ACM, 2008. [doi]
Abstract is missing.