Modeling wildcard-free MPI programs for verification.

Stephen F. Siegel, George S. Avrunin

Browse the full PPoPP paper archive.