{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/pacti-scaling-assume-guarantee-reasoning-for","title":"Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design","arxiv_id":"2303.17751","date":"2023-03-31","proceeding":null,"authors":["Inigo Incer","Apurva Badithela","Josefine Graebener","Piergiuseppe Mallozzi","Ayush Pandey","Sheng-Jung Yu","Albert Benveniste","Benoit Caillaud","Richard M. Murray","Alberto Sangiovanni-Vincentelli","Sanjit A. Seshia"],"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.","url_abs":"https://arxiv.org/abs/2303.17751v1","url_pdf":"https://arxiv.org/pdf/2303.17751v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"pacti-scaling-assume-guarantee-reasoning-for","repo_url":"https://github.com/pacti-org/pacti","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}