Verification of Halting Properties for MPI Programs Using Nonblocking Operations.

Stephen F. Siegel George S. Avrunin

Published in: PVM/MPI (2007)

Keyphrases

model checking
symbolic execution
structural properties
general purpose
application programs
probabilistic model
desirable properties
parallel implementation
computer programs
face verification