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

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