TeMP
From MaRDI portal
Software:21966
No author found.
Related Items (15)
First-order temporal verification in practice ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Theorem proving using clausal resolution: from past to present ⋮ An Introduction to Practical Formal Methods Using Temporal Logic ⋮ Mechanising first-order temporal resolution ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ Fair Derivations in Monodic Temporal Reasoning ⋮ Temporal Verification of Fault-Tolerant Protocols ⋮ Implementing Temporal Logics: Tools for Execution and Proof ⋮ Certifying proofs for SAT-based model checking ⋮ Foundations of Information and Knowledge Systems ⋮ Automated Reasoning ⋮ Temporal Logics of Knowledge and their Applications in Security
This page was built for software: TeMP
