A package for compositional system analysis and design
Project description
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.
Documentation can be found on the project's website: www.pacti.org. 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
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Pacti-0.1.0.tar.gz
(48.9 kB
view hashes)
Built Distribution
Pacti-0.1.0-py3-none-any.whl
(42.6 kB
view hashes)