Tool title |
Title of page above |
Type |
Open Source |
Owner/Source |
NASA Ames RSE Group |
Link |
|
Description |
CoCoSim is an automated analysis and code generation framework for Simulink and Stateflow models. Specifically, CoCoSim can be used to verify automatically user-supplied safety requirements. Moreover, CoCoSim can be used to generate C and/or Rust code. CoCoSim uses Lustre as its intermediate language. CoCoSim is currently under development. |
User |
ARC |
SWE |
SWE-135 |
