Comparing Linear and Branching Time Temporal Logics.

Published in: Temporal Logic in Specification (1987)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
predicate logic
mazurkiewicz traces
concurrent systems
linear temporal logic
belief revision
verification method
computation tree logic
transition systems
temporal knowledge
np hard
theorem proving
expert systems
bounded model checking