Keyphrases
- model checking
- formal specification
- temporal logic
- verification method
- dynamic programming
- relational databases
- automated verification
- computation tree logic
- case study
- description language
- specification language
- formal verification
- asynchronous circuits
- process algebra
- bounded model checking
- deterministic finite automaton