Stephen F. Siegel, Timothy K. Zirkel. Automatic formal verification of MPI-based parallel programs. In Calin Cascaval, Pen-Chung Yew, editors, Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2011, San Antonio, TX, USA, February 12-16, 2011. pages 309-310, ACM, 2011. [doi]
Abstract is missing.