Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp. Practical Model-Checking Method for Verifying Correctness of MPI Programs. In Franck Cappello, Thomas Hérault, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User s Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings. Volume 4757 of Lecture Notes in Computer Science, pages 344-353, Springer, 2007. [doi]
@inproceedings{PervezGKPTG07,
title = {Practical Model-Checking Method for Verifying Correctness of MPI Programs},
author = {Salman Pervez and Ganesh Gopalakrishnan and Robert M. Kirby and Robert Palmer and Rajeev Thakur and William Gropp},
year = {2007},
doi = {10.1007/978-3-540-75416-9_46},
url = {http://dx.doi.org/10.1007/978-3-540-75416-9_46},
tags = {meta programming, model checking, program verification, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/PervezGKPTG07},
cites = {0},
citedby = {0},
pages = {344-353},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User s Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings},
editor = {Franck Cappello and Thomas Hérault and Jack Dongarra},
volume = {4757},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75415-2},
}