Pacti-org

Contract-based system analysis and design

Pinned Repositories

pacti
A package for compositional system analysis and design
Language:Python195
cs-space-mission
Language:Python21
cs-uav-topologies
UAV topology case study using Pacti
Language:Python10
cs-biocircuits
Language:Jupyter Notebook11
cs-multiagent-planning
Language:Jupyter Notebook11
media
01
forum
Repo that stores organization's discussions.
00
pacti-instrumentation
Language:Python00
pacti-org.github.io
Website
Language:HTML01
cs-digital-signal-processing
Language:Jupyter Notebook00

Pacti-org's Repositories

pacti-org/pacti
A package for compositional system analysis and design
Language:Python195
pacti-org/pacti-org.github.io
Website
Language:HTML1
pacti-org/BioPacti
Language:Jupyter Notebook
pacti-org/cs-biocircuits
Language:Jupyter Notebook11
pacti-org/cs-space-mission
Language:Python21
pacti-org/pacti-instrumentation
Language:Python
pacti-org/cs-multiagent-planning
Language:Jupyter Notebook11
pacti-org/cs-uav-topologies
UAV topology case study using Pacti
Language:Python1
pacti-org/cs-digital-signal-processing
Language:Jupyter Notebook
pacti-org/cs-vehicle-perception
Contract-based design for evaluating perception in the context of system-level specifications
Language:Jupyter Notebook1
pacti-org/media
1
pacti-org/forum
Repo that stores organization's discussions.