An Optimized Model Checking Parallel Algorithm Based on CUDA.
Chaoqun ChuGuiming LuoMingyang ZhangPublished in: ICCI*CC (2019)
Keyphrases
- model checking
- parallel algorithm
- parallel computation
- parallel programming
- compute unified device architecture
- temporal logic
- shared memory
- graphics processors
- model checker
- formal verification
- formal specification
- automated verification
- formal methods
- symbolic model checking
- cpu implementation
- temporal properties
- reachability analysis
- bounded model checking
- parallel computing
- timed automata
- cluster of workstations
- verification method
- general purpose
- data structure
- computation tree logic
- concurrent systems
- reactive systems
- transition systems
- parallel version
- parallel implementation
- gpu implementation
- reinforcement learning
- optimal solution