Simulink xcos

scilab. https://gitlab.com/scilab

Stateflow

Matlab coder partial evaluator with respect to type data? “static” ir

formal verification matlab

“traceability” “Traceability analysis is required for compliance with industry standards such as ISO 26262 and IEC 61508 in the automotive industry, DO-178C in commercial aviation, EN 50128 for railways, and IEC 62304 in the medical industry, as well as general software development standards such as CMMI and SPICE.” Requirements. Having a automated thing connecting bullet pointed documents to code does seem pretty smart. I can also see having that summary progress page being comforting to managers. It is a system to generate pain with questionable benefit.

Finite precision toolbox. Run it a bunch to get precision estimates?