Login / Signup
On Lamport's Comparison Between Linear and Branching Time Temporal Logic.
Susanne Graf
Published in:
RAIRO Theor. Informatics Appl. (1984)
Keyphrases
</>
temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
mazurkiewicz traces
model checker
temporal knowledge
linear temporal logic
verification method
reactive systems
transition systems
dynamic constraints
epistemic logic
belief revision
bounded model checking
computation tree logic