Image de couverture de livre

Property Directed Reachability with Extended Resolution

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Luka, Andrew, Vizel, Yakir
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Revisiting DRUP-based Interpolants with CaDiCaL 2.0
par: Khouri, Basel, et autres
Publié: (2025)

Hyperproperty Verification as CHC Satisfiability
par: Itzhaky, Shachar, et autres
Publié: (2023)

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
par: Peled, Romy, et autres
Publié: (2025)

Certificate-Aware Property-Directed Reachability
par: Ferdowsi, Arman, et autres
Publié: (2026)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
par: Gerlach, Lina, et autres
Publié: (2025)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Extended Resolution Clause Learning via Dual Implication Points
par: Buss, Sam, et autres
Publié: (2024)

Trees in Coalgebra from Generalized Reachability
par: Wißmann, Thorsten, et autres
Publié: (2025)

Multiple Reachability in Linear Dynamical Systems
par: Karimov, Toghrul, et autres
Publié: (2024)

Reachability and Safety Games under TSO Semantics (Extended Version)
par: Spengler, Stephan
Publié: (2024)

Initial Algebra Correspondence under Reachability Conditions
par: Kori, Mayuko, et autres
Publié: (2025)

On Higher-Order Reachability Games vs May Reachability
par: Asada, Kazuyuki, et autres
Publié: (2022)

Robust Almost-Sure Reachability in Multi-Environment MDPs
par: van der Vegt, Marck, et autres
Publié: (2023)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
par: Deng, Haotian, et autres
Publié: (2025)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

Generalised Reachability Games Revisited
par: Bose, Sougata, et autres
Publié: (2025)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
par: Baader, Franz, et autres
Publié: (2024)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
par: Amat, Nicolas, et autres
Publié: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
par: Kundu, Atanu, et autres
Publié: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Memoryless Strategies in Stochastic Reachability Games
par: Kiefer, Stefan, et autres
Publié: (2024)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
par: Bunch, Carter, et autres
Publié: (2024)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
par: Lemke, Caroline, et autres
Publié: (2025)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
par: Dai, Aochu, et autres
Publié: (2025)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
par: Endo, Ryunosuke, et autres
Publié: (2025)

Intuitionistic BV (Extended version)
par: Acclavio, Matteo, et autres
Publié: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Reachability and Safety Games under TSO Semantics
par: Spengler, Stephan
Publié: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
par: Gu, Chao, et autres
Publié: (2020)

Reachability in 3-VASS is Elementary
par: Czerwiński, Wojciech, et autres
Publié: (2025)

SAT-Based Subsumption Resolution
par: Coutelier, Robin, et autres
Publié: (2024)

Extending CDCL-based Model Enumeration with Weights
par: Spallitta, Giuseppe, et autres
Publié: (2026)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
par: Chen, Zhiyang, et autres
Publié: (2024)

On Piecewise Affine Reachability with Bellman Operators
par: Varonka, Anton, et autres
Publié: (2025)