Formal verification of practical MPI programs.

Anh Vo Sarvani S. Vakkalanka Michael Delisi Ganesh Gopalakrishnan Robert M. Kirby Rajeev Thakur

Published in: PPOPP (2009)

Keyphrases

formal verification
program slicing
model checking
automated verification
bounded model checking
real world
model checker
parallel algorithm
symbolic model checking
high performance computing
partial order
message passing