TeMP
From MaRDI portal
Software:21966
swMATH9989MaRDI QIDQ21966FDOQ21966
Author name not available (Why is that?)
Cited In (15)
- 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
- An Introduction to Practical Formal Methods Using Temporal Logic
- 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
- 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
