A Novel Approach for Bounded Model Checking Through Full Parallelism.
Debao SangJing LiuHaiying SunJin XuJiexiang KangPublished in: QRS (2022)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- parallel processing
- shared memory
- computational power
- massively parallel
- data parallelism
- parallel computation
- fine grain
- multi agent systems
- orders of magnitude
- parallel execution
- data flow
- object oriented
- learning algorithm
- parallel computing
- search space
- parallel architectures
- database systems