Buchumschlag

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Context-Aided Variable Elimination for Requirement Engineering
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

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

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
von: Vin, Eric, et al.
Veröffentlicht: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
von: Chang, Kevin Kai-Chun, et al.
Veröffentlicht: (2026)

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
von: Rouquette, Nicolas, et al.
Veröffentlicht: (2024)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
von: Dardik, Ian, et al.
Veröffentlicht: (2025)

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

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

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
von: Joshi, Aniruddha, et al.
Veröffentlicht: (2025)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
von: Graebener, Josefine B., et al.
Veröffentlicht: (2024)

An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras
von: Incer, Inigo
Veröffentlicht: (2023)

Structural Methods for handling mode changes in multimode DAE systems
von: Benveniste, Albert, et al.
Veröffentlicht: (2025)

Partition genericity and pigeonhole basis theorems
von: Monin, Benoit, et al.
Veröffentlicht: (2022)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)

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

Borel fractional perfect matchings in quasi-transitive amenable graphs
von: Murray, Sam
Veröffentlicht: (2025)

Certified $Σ_1$-sentences
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

Assume-guarantee contract algebras are dp-algebras
von: Castiglioni, Jose Luis, et al.
Veröffentlicht: (2024)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
von: Elmaaroufi, Karim, et al.
Veröffentlicht: (2024)

Shields to Guarantee Probabilistic Safety in MDPs
von: Heck, Linus, et al.
Veröffentlicht: (2026)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

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

Feferman Interpretability
von: Joosten, Joost J., et al.
Veröffentlicht: (2024)

On Quantum Programming Languages
von: Valiron, Benoît
Veröffentlicht: (2024)

A Curry-Howard Correspondence for Linear, Reversible Computation
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2023)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

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

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
von: Fernandes, Vítor, et al.
Veröffentlicht: (2024)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
von: Hadad, Itamar, et al.
Veröffentlicht: (2026)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
von: Yatapanage, Nisansala P., et al.
Veröffentlicht: (2023)

Enumeration of Finite Distance Monoids
von: Luo, Yunjie, et al.
Veröffentlicht: (2025)

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
von: Mallozzi, Piergiuseppe, et al.
Veröffentlicht: (2023)

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

Finding Photonics Circuits via $δ$-weakening SMT
von: Lewis, Marco, et al.
Veröffentlicht: (2025)

The Tensor-Plus Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Independence questions in a finite axiom-schematization of first-order logic
von: Jubin, Benoit
Veröffentlicht: (2022)

Hard Clique Formulas for Resolution
von: Atserias, Albert
Veröffentlicht: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

Incompleteness of boundedly axiomatizable theories
von: Enayat, Ali, et al.
Veröffentlicht: (2023)