Treffer: Formal verification of practical MPI programs

Title:
Formal verification of practical MPI programs
Authors:
Vo, Anh, Vakkalanka, Sarvani, DeLisi, Michael, Gopalakrishnan, Ganesh, Kirby, Robert M., Thakur, Rajeev
Source:
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. :261-270
Availability:
http://dl.acm.org/doi/10.1145/1504176.1504214
Database:
ACM Full-Text Collection