TSPASS
From MaRDI portal
Software:18659
swMATH6567MaRDI QIDQ18659FDOQ18659
Author name not available (Why is that?)
Cited In (9)
- 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
- Implementing a fair monodic temporal logic prover
- First-order resolution methods for modal logics
- An introduction to practical formal methods using temporal logic
This page was built for software: TSPASS
