@inproceedings{ppopp08-isp,
author = {  Anh Vo and Sarvani Vakkalanka and Michael DeLisi and Ganesh Gopalakrishnan and
  Robert M. Kirby and and Rajeev Thakur},
title = {Formal Verification of   Practical MPI Programs},
booktitle = {Principles and Practices of Parallel Programming (PPoPP)},
year = 2009,
pages = {261-269}}