Map out the CSAF + component contracts + CoPilot story - Githubissues

GaloisInc / csaf

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.

BSD 3-Clause "New" or "Revised" License

11 stars 4 forks source link

Map out the CSAF + component contracts + CoPilot story #66

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

In GitLab by @bauer-matthews on Sep 30, 2020, 07:24

podhrmic commented 3 years ago

In GitLab by @podhrmic on Jul 13, 2021, 14:20

@zutshi @EthanJamesLewnot sure what this one is about- perhaps close it?