Verification of MPI programs using CIVL.
Ziqing LuoManchun ZhengStephen F. SiegelPublished in: EuroMPI/USA (2017)
Keyphrases
- symbolic execution
- hardware designs
- general purpose
- parallel algorithm
- model checking
- message passing
- parallel implementation
- parallel computing
- automatic programming
- test generation
- fixpoint
- face verification
- case study
- databases
- massively parallel
- database
- shared memory
- image segmentation
- java programs
- verification method
- java bytecode