A Scalable and Distributed Dynamic Formal Verifier for MPI Programs.

Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky

Browse the full SC paper archive.