Automata, Tableaux and Temporal Logics (Extended Abstract).
E. Allen EmersonPublished in: Logic of Programs (1985)
Keyphrases
- extended abstract
- temporal logic
- modal logic
- automata theoretic
- model checking
- decision procedures
- finite state
- inference rules
- satisfiability problem
- concurrent systems
- mazurkiewicz traces
- cellular automata
- finite automata
- nonmonotonic logics
- computation tree logic
- verification method
- bounded model checking
- artificial intelligence
- default logic
- predicate logic
- epistemic logic
- linear temporal logic
- temporal knowledge
- regular expressions
- transition systems
- logic programs
- sequent calculus
- constraint satisfaction problems