Scalable verification of MPI programs.
Anh VoGanesh GopalakrishnanPublished in: IPDPS Workshops (2010)
Keyphrases
- symbolic execution
- hardware designs
- message passing
- parallel algorithm
- general purpose
- highly scalable
- shared memory
- automatic programming
- parallelization strategy
- formal verification
- parallel implementation
- message passing interface
- false acceptance rate
- face verification
- probabilistic model
- parallel programming
- computer programs
- parallel computing
- control program
- verification method
- belief propagation
- java bytecode
- model checking