TRP++
From MaRDI portal
Software:26576
No author found.
Related Items (19)
Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Ordered Resolution for Coalition Logic ⋮ A Modal-Layered Resolution Calculus for K ⋮ Invariant-free clausal temporal resolution ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Theorem proving using clausal resolution: from past to present ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ CTL-RP: A computation tree logic resolution prover ⋮ First-Order Resolution Methods for Modal Logics ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ A Refined Resolution Calculus for CTL ⋮ Variable and clause elimination for LTL satisfiability checking ⋮ Certifying proofs for SAT-based model checking ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ SAT-based explicit LTL reasoning and its application to satisfiability checking ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for software: TRP++
