Complete SAT-Based Model Checking for Context-Free Processes.
Geng-Dian HuangBow-Yaw WangPublished in: Int. J. Found. Comput. Sci. (2010)
Keyphrases
- model checking
- context free
- finite state
- bounded model checking
- pspace complete
- temporal logic
- formal verification
- automated verification
- model checker
- context sensitive
- planning domains
- context dependent
- formal specification
- grammatical inference
- computation tree logic
- context free grammars
- epistemic logic
- verification method
- inductive inference
- symbolic model checking
- finite state machines
- formal methods
- tree automata
- transition systems
- np complete
- orders of magnitude