Cited in
(17)- An introduction to practical formal methods using temporal logic
- Fair Derivations in Monodic Temporal Reasoning
- Extracting unsatisfiable cores for LTL via temporal resolution
- A new rule for LTL tableaux
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Parameterized verification of leader/follower systems via first-order temporal logic
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- TeMP
- TTM
- TRP++
- VaqUoT
- VaqTree
- CTL-RP
- Implementing a fair monodic temporal logic prover
- First-order resolution methods for modal logics
- Leviathan
- Aalta
This page was built for software: TSPASS
