Focus Games for Satisfiability and Completeness of Temporal Logic.
Martin LangeColin StirlingPublished in: LICS (2001)
Keyphrases
- temporal logic
- satisfiability problem
- model checking
- automata theoretic
- modal logic
- bounded model checking
- concurrent systems
- decision procedures
- linear temporal logic
- np complete
- belief revision
- mazurkiewicz traces
- verification method
- formal specification language
- computation tree logic
- reactive systems
- temporally extended
- video sequences
- computational complexity
- search algorithm