One-Pass Tableaux for Computation Tree Logic.
Pietro AbateRajeev GoréFlorian WidmannPublished in: LPAR (2007)
Keyphrases
- computation tree logic
- temporal logic
- modal logic
- model checking
- epistemic logic
- bounded model checking
- decision procedures
- functional dependencies
- inference rules
- satisfiability problem
- temporal properties
- logic programming
- formal verification
- formal specification
- linear temporal logic
- minimal change
- integrity constraints
- database design