Modeling wildcard-free MPI programs for verification.

Stephen F. Siegel George S. Avrunin

Published in: PPOPP (2005)

Keyphrases

pattern matching
model checking
general purpose
hardware designs
database systems
parallel algorithm
temporal logic
high performance computing
symbolic execution
parallelization strategy