ISP: a tool for model checking MPI programs

Publication
In Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT, USA, February 20-23, 2008

Related