Contract-based design is a method to facilitate modular design of systems. While there has been substantial progress on the theory of contracts, there has been less progress on practical algorithms for the algebraic operations in the 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 illustrate the use of Pacti in a variety of case studies.

Inigo Incer

Apurva Badithela

Josefine B. Graebener

Piergiuseppe Mallozzi

Ayush Pandey

Nicolas Rouquette

Sheng-Jung Yu

Albert Benveniste

Benoit Caillaud

Richard M. Murray

Alberto Sangiovanni-Vincentelli

Sanjit A. Seshia

ACM Transactions on Cyber-Physical Systems

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design

Pacti：用于高效组合分析与设计的假设-保证契约

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design

ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds

Journal Info

Category	Quartile
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS	3