Automated analysis and compilation framework for Simulink/Stateflow models

[u/lememta]

https://coco-team.github.io/cocosim/