Complete SAT-Based Model Checking for Context-Free Processes.
Geng-Dian HuangBow-Yaw WangPublished in: ATVA (2007)
Keyphrases
- model checking
- context free
- bounded model checking
- finite state
- pspace complete
- temporal logic
- formal verification
- computation tree logic
- context sensitive
- model checker
- planning domains
- context dependent
- automated verification
- verification method
- grammatical inference
- formal specification
- symbolic model checking
- context free grammars
- linear temporal logic
- finite state machines
- epistemic logic
- transition systems
- inductive inference
- satisfiability problem
- alternating time temporal logic
- decision problems
- language model
- parse tree
- modal logic
- np complete
- markov chain
- multi agent systems
- learning algorithm