ISP: A Tool for Model Checking MPI Programs (Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008)

(untitled) - Vakkalanka, S; Sharma, S; Gopalakrishnan, G; Kirby, R