Ganesh Gopalakrishnan, Robert M. Kirby. Practical Formal Verification of MPI and Thread Programs. In Matti Ropo, Jan Westerholm, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings. Volume 5759 of Lecture Notes in Computer Science, pages 8, Springer, 2009. [doi]
@inproceedings{GopalakrishnanK09, title = {Practical Formal Verification of MPI and Thread Programs}, author = {Ganesh Gopalakrishnan and Robert M. Kirby}, year = {2009}, doi = {10.1007/978-3-642-03770-2_7}, url = {http://dx.doi.org/10.1007/978-3-642-03770-2_7}, tags = {program verification}, researchr = {https://researchr.org/publication/GopalakrishnanK09}, cites = {0}, citedby = {0}, pages = {8}, booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings}, editor = {Matti Ropo and Jan Westerholm and Jack Dongarra}, volume = {5759}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-03769-6}, }