One-Pass Tableaux for Computation Tree Logic.

Pietro Abate Rajeev Goré Florian Widmann

Published 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