Рабочий процесс доказательства свойства для круиз-контроля

В этом примере показано, как найти нарушение свойства с помощью анализа доказательства свойства Simulink Design Verifier.