Refinement with global equivalence proofs in temporal logic.

Published in: Partial Order Methods in Verification (1996)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
verification method
concurrent systems
linear temporal logic
mazurkiewicz traces
theorem prover
decision procedures
temporal knowledge
model checker
reactive systems
dynamic constraints
transition systems
dynamic programming