Keyphrases
- model checking
- tree width
- process algebra
- timed automata
- transition systems
- tree decomposition
- structural properties
- temporal logic
- formal specification
- constraint networks
- formal methods
- model checker
- computation tree logic
- concurrent systems
- formal verification
- finite state machines
- shortest path
- linear time temporal logic
- exact and approximate
- graph theory
- asynchronous circuits
- branch and bound
- verification method
- constraint satisfaction problems
- decomposition method
- relational databases
- probabilistic reasoning
- programming language