The following pages link to TSPASS (Q18659):
Displaying 9 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- An Introduction to Practical Formal Methods Using Temporal Logic (Q2996923) (← links)
- Implementing a fair monodic temporal logic prover (Q3568221) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- (Q5015285) (← links)
- Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)