On the Eventuality Operator in Temporal Logic

A. Prasad Sistla Lenore D. Zuck

Published in: LICS (1987)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
satisfiability problem
mazurkiewicz traces
computation tree logic
modal operators
linear temporal logic
model checker
temporal knowledge
verification method
belief revision
temporal constraints
dynamic systems
automata theoretic
orders of magnitude