GPU Acceleration of Bounded Model Checking with ParaFROST.
Muhammad OsamaAnton WijsPublished in: CAV (2) (2021)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- graphics hardware
- real time
- parallel computation
- gpu implementation
- parallel implementation
- parallel computing
- gpu accelerated
- multi agent systems
- parallel programming
- graphics processors
- parallel processing
- cluster of workstations