TeMP
From MaRDI portal
Cited in
(20)- An introduction to practical formal methods using temporal logic
- Fair Derivations in Monodic Temporal Reasoning
- Implementing Temporal Logics: Tools for Execution and Proof
- Mechanising first-order temporal resolution
- Automated Reasoning
- First-order temporal verification in practice
- Temporal Verification of Fault-Tolerant Protocols
- Foundations of Information and Knowledge Systems
- Certifying proofs for SAT-based model checking
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Parameterized verification of leader/follower systems via first-order temporal logic
- OilEd
- TSPASS
- TLPVS
- TRP++
- CTL-RP
- Using temporal logics of knowledge for specification and verification -- a case study
- On temporal logics with data variable quantifications: decidability and complexity
- Theorem proving using clausal resolution: from past to present
- Temporal logics of knowledge and their applications in security
This page was built for software: TeMP
