Focus Games for Satisfiability and Completeness of Temporal Logic.

Martin Lange Colin Stirling

Published 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