Login / Signup
Compositional Verification in Linear-Time Temporal Logic.
Yih-Kuen Tsay
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