Buchumschlag

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dardik, Ian, Kang, Eunsuk
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Recomposition: A New Technique for Efficient Compositional Verification
von: Dardik, Ian, et al.
Veröffentlicht: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
von: Incer, Inigo
Veröffentlicht: (2024)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2025)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

Rewriting and Inductive Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2024)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
von: Gilda, Sankalp, et al.
Veröffentlicht: (2026)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
von: Monir, Negar, et al.
Veröffentlicht: (2025)

Equational and Inductive Reasoning for Maude in Athena
von: Sanabria, Mateo, et al.
Veröffentlicht: (2026)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
von: Zhou, Yuhao, et al.
Veröffentlicht: (2023)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
von: Meseguer, Jose
Veröffentlicht: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Topological Semantics for Common Inductive Knowledge
von: Namachivayam, Siddharth
Veröffentlicht: (2026)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Constrained Decoding for Safe Robot Navigation Foundation Models
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)

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

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
von: Bronsveld, Steven, et al.
Veröffentlicht: (2025)

The Size-Change Principle for Mixed Inductive and Coinductive types
von: Hyvernat, Pierre
Veröffentlicht: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
von: Sangiorgi, Davide
Veröffentlicht: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
von: Yang, Yuan, et al.
Veröffentlicht: (2022)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
von: Ratschan, Stefan, et al.
Veröffentlicht: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2023)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
von: Lahav, Ori, et al.
Veröffentlicht: (2023)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
von: Férée, Hugo, et al.
Veröffentlicht: (2026)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
von: Johnson, Blair, et al.
Veröffentlicht: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
von: Chu, Simon, et al.
Veröffentlicht: (2024)

Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
von: Tobler, James, et al.
Veröffentlicht: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)