The Situation and State Calculus versus Branching Temporal Logic.

Jaime Ramos Amílcar Sernadas

Published in: WADT (1998)

Keyphrases

temporal logic
transition systems
model checking
modal logic
concurrent systems
satisfiability problem
temporally extended
state space
model checker
dynamic constraints
mazurkiewicz traces
linear temporal logic
verification method
reactive systems
formal verification
linear time temporal logic
control flow