A Verification Technique for Deterministic Parallel Programs.
Saeed DarabiStefan C. C. BlomMarieke HuismanPublished in: NFM (2017)
Keyphrases
- symbolic execution
- high level programming language
- hardware designs
- java bytecode
- model checking
- parallel processing
- parallel implementation
- automatic programming
- verification method
- parallel computation
- multicore processors
- sorting algorithms
- database languages
- parallel execution
- database
- static analysis
- face verification
- computer programs
- genetic algorithm
- neural network
- data sets
- real time