Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur. Formal verification of practical MPI programs. In Daniel A. Reed, Vivek Sarkar, editors, Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009. pages 261-270, ACM, 2009. [doi]
@inproceedings{VoVDGKT09,
title = {Formal verification of practical MPI programs},
author = {Anh Vo and Sarvani S. Vakkalanka and Michael Delisi and Ganesh Gopalakrishnan and Robert M. Kirby and Rajeev Thakur},
year = {2009},
doi = {10.1145/1504176.1504214},
url = {http://doi.acm.org/10.1145/1504176.1504214},
tags = {program verification},
researchr = {https://researchr.org/publication/VoVDGKT09},
cites = {0},
citedby = {0},
pages = {261-270},
booktitle = {Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009},
editor = {Daniel A. Reed and Vivek Sarkar},
publisher = {ACM},
isbn = {978-1-60558-397-6},
}