Temporal Logic and Applications-A Tutorial.

Reinhard Gotzhein

Published in: Comput. Networks ISDN Syst. (1992)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
verification method
transition systems
temporal knowledge
belief revision
bounded model checking
mazurkiewicz traces
dynamic programming
computation tree logic
formal specification language