@inproceedings{DBLP:conf/pvm/PervezGKPTG07,
  author       = {Salman Pervez and
                  Ganesh Gopalakrishnan and
                  Robert M. Kirby and
                  Robert Palmer and
                  Rajeev Thakur and
                  William Gropp},
  editor       = {Franck Cappello and
                  Thomas H{\'{e}}rault and
                  Jack J. Dongarra},
  title        = {Practical Model-Checking Method for Verifying Correctness of {MPI}
                  Programs},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4757},
  pages        = {344--353},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75416-9\_46},
  doi          = {10.1007/978-3-540-75416-9\_46},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pvm/PervezGKPTG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Yak9E8iPFFQtXLADZ","bibbaseid":"pervez-gopalakrishnan-kirby-palmer-thakur-gropp-practicalmodelcheckingmethodforverifyingcorrectnessofmpiprograms-2007","author_short":["Pervez, S.","Gopalakrishnan, G.","Kirby, R. M.","Palmer, R.","Thakur, R.","Gropp, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Salman"],"propositions":[],"lastnames":["Pervez"],"suffixes":[]},{"firstnames":["Ganesh"],"propositions":[],"lastnames":["Gopalakrishnan"],"suffixes":[]},{"firstnames":["Robert","M."],"propositions":[],"lastnames":["Kirby"],"suffixes":[]},{"firstnames":["Robert"],"propositions":[],"lastnames":["Palmer"],"suffixes":[]},{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Thakur"],"suffixes":[]},{"firstnames":["William"],"propositions":[],"lastnames":["Gropp"],"suffixes":[]}],"editor":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cappello"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Hérault"],"suffixes":[]},{"firstnames":["Jack","J."],"propositions":[],"lastnames":["Dongarra"],"suffixes":[]}],"title":"Practical Model-Checking Method for Verifying Correctness of MPI Programs","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","series":"Lecture Notes in Computer Science","volume":"4757","pages":"344–353","publisher":"Springer","year":"2007","url":"https://doi.org/10.1007/978-3-540-75416-9\\_46","doi":"10.1007/978-3-540-75416-9_46","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/pvm/PervezGKPTG07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pvm/PervezGKPTG07,\n author = {Salman Pervez and\n Ganesh Gopalakrishnan and\n Robert M. Kirby and\n Robert Palmer and\n Rajeev Thakur and\n William Gropp},\n editor = {Franck Cappello and\n Thomas H{\\'{e}}rault and\n Jack J. Dongarra},\n title = {Practical Model-Checking Method for Verifying Correctness of {MPI}\n Programs},\n booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,\n 14th European {PVM/MPI} User's Group Meeting, Paris, France, September\n 30 - October 3, 2007, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {4757},\n pages = {344--353},\n publisher = {Springer},\n year = {2007},\n url = {https://doi.org/10.1007/978-3-540-75416-9\\_46},\n doi = {10.1007/978-3-540-75416-9\\_46},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/pvm/PervezGKPTG07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Pervez, S.","Gopalakrishnan, G.","Kirby, R. M.","Palmer, R.","Thakur, R.","Gropp, W."],"editor_short":["Cappello, F.","Hérault, T.","Dongarra, J. J."],"key":"DBLP:conf/pvm/PervezGKPTG07","id":"DBLP:conf/pvm/PervezGKPTG07","bibbaseid":"pervez-gopalakrishnan-kirby-palmer-thakur-gropp-practicalmodelcheckingmethodforverifyingcorrectnessofmpiprograms-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-75416-9\\_46"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/19/5351.bib","dataSources":["5G2skx26SJtreWr4m","mZL7Ztbm8XZE2mt2K"],"keywords":[],"search_terms":["practical","model","checking","method","verifying","correctness","mpi","programs","pervez","gopalakrishnan","kirby","palmer","thakur","gropp"],"title":"Practical Model-Checking Method for Verifying Correctness of MPI Programs","year":2007}