The following publications are possibly variants of this publication:
- Practical Formal Verification of MPI and Thread ProgramsGanesh Gopalakrishnan, Robert M. Kirby. pvm 2009: 8 [doi]
- A Scalable and Distributed Dynamic Formal Verifier for MPI ProgramsAnh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky. sc 2010: 1-10 [doi]
- Implementing Efficient Dynamic Formal Verification Methods for MPI ProgramsSarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp. pvm 2008: 248-256 [doi]
- Formal Verification of Programs That Use MPI One-Sided CommunicationSalman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp. pvm 2006: 30-39 [doi]
- Scalable verification of MPI programsAnh Vo, Ganesh Gopalakrishnan. ipps 2010: 1-4 [doi]
- Practical Model-Checking Method for Verifying Correctness of MPI ProgramsSalman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp. pvm 2007: 344-353 [doi]