Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
From Murray Wiki
Jump to navigationJump to search
| Title | Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design |
|---|---|
| Authors | Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia |
| Source | Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023 |
| Abstract | Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this paper, we present: 1) principles to implement a contract-based design tool at scale and 2) Pacti, a tool that can efficiently compute these operations. We then illustrate the use of Pacti in a variety of case studies. |
| Type | Journal submission |
| URL | https://arxiv.org/abs/2303.17751 |
| DOI | |
| Tag | Inc+23=TCPS |
| ID | 2023h |
| Funding | AFOSR T&E2, AFOSR Syn Bio MURI |
| Flags | NCS |
