Anh Vo Sarvani S. Vakkalanka Michael Delisi Ganesh Gopalakrishnan Robert M. Kirby Rajeev Thakur Formal verification of practical MPI programs. 261-270 2009 PPOPP http://doi.acm.org/10.1145/1504176.1504214 conf/ppopp/2009 db/conf/ppopp/ppopp2009.html#VoVDGKT09