The following publications are possibly variants of this publication:
- 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]
- Scalable verification of MPI programsAnh Vo, Ganesh Gopalakrishnan. ipps 2010: 1-4 [doi]
- Formal verification of practical MPI programsAnh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. ppopp 2009: 261-270 [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]
- 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]
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed OrderingsSarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby. cav 2008: 66-79 [doi]