Login / Signup
Practical Model-Checking Method for Verifying Correctness of MPI Programs.
Salman Pervez
Ganesh Gopalakrishnan
Robert M. Kirby
Robert Palmer
Rajeev Thakur
William Gropp
Published in:
PVM/MPI (2007)
Keyphrases
</>
model checking
verification method
temporal logic
computational complexity
dynamic programming
logic programs
artificial intelligence
reinforcement learning
formal specification
finite state
formal methods
epistemic logic