7 System requirements

• MATLAB R2017b or newer with JAVA running.
• Optional: Simulink supported,
• Optional: Stateflow supported,
• Optional: Simulink Check (Simulink Validation & Verification) integration with Model Advisor provided.
• For optimal performance and availability of options, it is recommended to use the most recent MATLAB release available.