TSPASS
From MaRDI portal
swMATH6567MaRDI QIDQ18659FDOQ18659
Author name not available (Why is that?)
Official website: http://cgi.csc.liv.ac.uk/~michael/TLBook/TSPASS-System/
Cited In (17)
- Fair Derivations in Monodic Temporal Reasoning
- Extracting unsatisfiable cores for LTL via temporal resolution
- Leviathan
- 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
- Aalta
- An introduction to practical formal methods using temporal logic
This page was built for software: TSPASS
