Model-Based Software Design, an elective course for fifth-year students, prepares future engineers.
Development teams improve code quality with static code analysis using Polyspace code verifiers.
Use Model Advisor exclusion capability to speed up verification of Simulink and Stateflow models.
Implementing Modeling Standards
German translation of the article: Accelerating Model Verification with Model Advisor