Practical Formal Verification of MPI and Thread Programs.

Ganesh Gopalakrishnan Robert M. Kirby

Published in: PVM/MPI (2009)

Keyphrases

formal verification
program slicing
model checking
model checker
automated verification
real world
bounded model checking
symbolic model checking
general purpose
temporal logic
software engineering
message passing
high performance computing
parallel implementation
parallel computing
programming environment