Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp. Practical Model-Checking Method for Verifying Correctness of MPI Programs. In Franck Cappello, Thomas Hérault, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User s Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings. Volume 4757 of Lecture Notes in Computer Science, pages 344-353, Springer, 2007. [doi]
Abstract is missing.