Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.
Muhammad OsamaAnton WijsPublished in: TACAS (2) (2024)
Keyphrases
- massively parallel
- model checking
- temporal logic
- bounded model checking
- fine grained
- model checker
- parallel computing
- automated verification
- linear temporal logic
- temporal properties
- formal verification
- formal specification
- linear time temporal logic
- verification method
- transition systems
- computation tree logic
- finite state
- deterministic finite automaton
- symbolic model checking
- concurrent systems
- timed automata
- epistemic logic
- formal methods
- reactive systems
- probabilistic model
- ctl model update
- alternating time temporal logic
- parallel machines
- modal logic
- np complete