swMATH14679MaRDI QIDQ26576FDOQ26576
Author name not available (Why is that?)
Official website: https://cgi.csc.liv.ac.uk/~konev/software/trp++/
Cited In (35)
- Extracting unsatisfiable cores for LTL via temporal resolution
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Leviathan
- Polsat
- A Refined Resolution Calculus for CTL
- CTL-RP: A computation tree logic resolution prover
- \({\mathcal E}\)-connections of abstract description systems
- Certifying proofs for SAT-based model checking
- A new rule for LTL tableaux
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- Variable and clause elimination for LTL satisfiability checking
- TSPASS
- TATL
- Using temporal logics of knowledge for specification and verification -- a case study
- TeMP
- MUP
- TTM
- MUSer2
- VaqUoT
- VaqTree
- HyLoRes
- CTL-RP
- KoMeT
- lbtt
- A Modal-Layered Resolution Calculus for K
- CLProver
- Invariant-free clausal temporal resolution
- First-order resolution methods for modal logics
- Ordered resolution for coalition logic
- Theorem proving using clausal resolution: from past to present
- Aalta
- SAT-based explicit LTL reasoning and its application to satisfiability checking
- Title not available (Why is that?)
This page was built for software: TRP++
