Remarks to Shoham's Temporal Logic.

Published in: GWAI (1988)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
mazurkiewicz traces
belief revision
modal operators
computation tree logic
model checker
verification method
automata theoretic
formal specification language
dynamic constraints