arXiv (All)
open access
Computing GR(1) Assume-Guarantee Contracts
Assume-guarantee contracts provide a set of algebraic operations that enable the efficient compositional design and analysis of complex engineering systems. The explicit computation of these operations at component interfaces is currently supported only for some logics lacking a notion of time. This
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Trisduction: Formal Proof of Geometric Orthogonal Certainty Claim by Self-Grounding Architecture#694633
- A formal model for ledger management systems based on contracts and temporal logic#617723
- A formal model for ledger management systems based on contracts and temporal logic#617223
- Affine Pricing Models from Group Quantization and Holonomy#1076519
- Capturing Bisimulation-Invariant Exponential-Space Complexity Classes#1326725
Record · ID 1469204
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive