Automatic formal verification of MPI-based parallel programs.
Stephen F. SiegelTimothy K. ZirkelPublished in: PPOPP (2011)
Keyphrases
- formal verification
- program slicing
- model checking
- parallel implementation
- shared memory
- parallelization strategy
- message passing interface
- parallel computing
- parallel programming
- parallel algorithm
- distributed memory
- symbolic model checking
- model checker
- bounded model checking
- massively parallel
- parallel computation
- general purpose
- programming environment
- temporal logic
- message passing
- parallel processing
- automated verification
- functional verification
- high level programming language
- parallel architectures
- computer programs
- semi automatic
- artificial intelligence