]> 2026-07-09T01:23:13+00:00 Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design 0 en 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. 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 NCS 2023h Submitted, ACM Transactions on Cyber-Physical Systems (TCPS), Aug 2023 Inc+23=TCPS Journal submission 2024-09-11T14:51:30Z 2460565.1190972 Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design Title 102 en Title