Ganesh Gopalakrishnan, Robert M. Kirby. Practical Formal Verification of MPI and Thread Programs. In Matti Ropo, Jan Westerholm, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings. Volume 5759 of Lecture Notes in Computer Science, pages 8, Springer, 2009. [doi]
Abstract is missing.