Fixed-parameter tractability, definability, and model checking
Jörg FlumMartin GrohePublished in: CoRR (1999)
Keyphrases
- model checking
- temporal logic
- formal specification
- formal verification
- model checker
- propositional logic
- automated verification
- temporal properties
- formal methods
- symbolic model checking
- verification method
- computation tree logic
- epistemic logic
- transition systems
- single peaked
- fixed parameter tractable
- bounded model checking
- description logics
- search space
- computational complexity
- knowledge base