Compositional Verification in Linear-Time Temporal Logic.

Published in: FoSSaCS (2000)

Keyphrases

linear time temporal logic
model checking
temporal logic
natural deduction
sequent calculus
cut elimination
inference rules
linear temporal logic
model checker
knowledge base
modal logic
formal specification
formal verification
concurrent systems