pacti logo

pacti logo

Pacti is an open-source Python package for carrying out compositional system analysis and design. Pacti represents components in a system using assume-guarantee specifications, or contracts. Pacti's capabilities, among others, include the following:

  • Obtaining sensible system specifications from the specifications of the constituent subsystems.
  • Computing specifications of subsystems that need to be added to a design in order to meet an objective.
  • Diagnosing incompatibilities when interconnecting components.

For questions about Pacti and to interact with the community, please go to the organization's GitHub Discussions page. Pacti's developers can be reached at info@pacti.org.

The Pacti project can be acknowledged by citing

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. "Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design." ArXiv abs/2303.17751 (2023).