Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018.
Igor KonnovPublished in: Formal Aspects Comput. (2019)
Keyphrases
- model checking
- computer science
- temporal logic
- partial order reduction
- temporal properties
- formal verification
- model checker
- finite state
- finite state machines
- verification method
- formal specification
- automated verification
- pspace complete
- symbolic model checking
- reachability analysis
- bounded model checking
- timed automata
- transition systems
- epistemic logic
- formal methods
- automated reasoning
- concurrent systems
- planning domains
- computation tree logic
- search algorithm