Year: 2024
Type: article
Abstract: 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 article, 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.
DOI: 10.1145/3704736
Institutions: University of Michigan, Princeton University, California Institute of Technology, University of California, Berkeley, University of California, Merced, Jet Propulsion Laboratory, Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Award: G2597560504
OpenAlex ID: W4404482918