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