Imagen de Portada

Generating Rely-Guarantee Conditions with the Conditional-Writes Domain

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tobler, James, Smith, Graeme
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
por: Colvin, Robert J., et al.
Publicado: (2024)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
por: Yatapanage, Nisansala P., et al.
Publicado: (2023)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
por: Lahav, Ori, et al.
Publicado: (2023)

Detecting speculative data flow vulnerabilities using weakest precondition reasoning
por: Smith, Graeme
Publicado: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
por: Stoltenow, Lara, et al.
Publicado: (2024)

On Categories of Nested Conditions
por: Rensink, Arend, et al.
Publicado: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
por: Simpson, Alex
Publicado: (2024)

Initial Algebra Correspondence under Reachability Conditions
por: Kori, Mayuko, et al.
Publicado: (2025)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
por: Torres-Ruiz, Mateo, et al.
Publicado: (2025)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
por: Češka, Milan, et al.
Publicado: (2026)

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
por: Gürtler, Tobias, et al.
Publicado: (2026)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
por: Dalmonte, Tiziano, et al.
Publicado: (2025)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
por: Helal, Sameerah, et al.
Publicado: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
por: Pinsker, Michael, et al.
Publicado: (2025)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
por: Barkowsky, Matthias, et al.
Publicado: (2024)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
por: Dardik, Ian, et al.
Publicado: (2025)

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

Defeasible Conditionals using Answer Set Programming
por: Dennison, Racquel, et al.
Publicado: (2026)

Confluence of Conditional Rewriting Modulo
por: Lucas, Salvador
Publicado: (2025)

Formal Verification of Probing Security via Conditional Independence
por: Kura, Satoshi, et al.
Publicado: (2026)

A framework for Conditional Reasoning in Answer Set Programming
por: Alviano, Mario, et al.
Publicado: (2025)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
por: Wu, Hao, et al.
Publicado: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
por: Zilberstein, Noam, et al.
Publicado: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
por: Doherty, Patrick, et al.
Publicado: (2023)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

Shields to Guarantee Probabilistic Safety in MDPs
por: Heck, Linus, et al.
Publicado: (2026)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
por: Heyninck, Jesse
Publicado: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
por: Hartonas, Chrysafis
Publicado: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

Solving Homotopy Domain Equations
por: Martínez-Rivillas, Daniel O., et al.
Publicado: (2021)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
por: Parent, Xavier
Publicado: (2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
por: Lohse, Janine, et al.
Publicado: (2026)

Minimally Comparing Relational Abstract Domains
por: Ballou, Kenny, et al.
Publicado: (2023)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
por: Incer, Inigo
Publicado: (2024)

Identifying Minimal Changes in the Zone Abstract Domain
por: Ballou, Kenny, et al.
Publicado: (2023)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
por: de Lima, Thaynara Arielly, et al.
Publicado: (2024)

Modular Counting over 3-Element and Conservative Domains
por: Bulatov, Andrei A., et al.
Publicado: (2025)

A Hoare Logic for Domain Specification (Full Version)
por: Kamburjan, Eduard, et al.
Publicado: (2024)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
por: Hadad, Itamar, et al.
Publicado: (2026)