Formal Verification of Programs That Use MPI One-Sided Communication.
Salman PervezGanesh GopalakrishnanRobert M. KirbyRajeev ThakurWilliam D. GroppPublished in: PVM/MPI (2006)
Keyphrases
- formal verification
- program slicing
- model checking
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- general purpose
- communication systems
- parallel implementation
- message passing
- parallel computing
- computer programs
- parallel algorithm
- communication networks
- temporal logic
- information sharing
- expert systems