CoCoSim https://repo.valu3s.eu/tools/external-not-improved-tool/cocosim https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png CoCoSim Logo Tool Logo No image Owner External tool owner. The owner must be also one of the partners. NASA Robust Software Engineering Link to the tool Link to the tool webpage/github (optional) https://github.com/NASA-SW-VnV/CoCoSim Contributing partner Tool description Extended description of the external tool CoCoSim is a formal monitoring approach for Simulink diagrams. It can be used either for code generation (e.g. C/Rust and/or Lustre) or for property verification. Contents There are currently no items in this folder.
