Систематическая верификация модели является процессом проверки ваших моделей на основе объективных критериев, таких как полное покрытие модели и верификация всех функциональных требований.
Чтобы помочь в руководстве процессом проекта при сборке модели, смотрите Факторы о проекте. Чтобы запустить анализы итерационно при обновлении модели, смотрите Основной рабочий процесс для Simulink Design Verifier. Если у вас уже есть существующий проект в Simulink®, см. «Выбор компонента», чтобы сконфигурировать фрагменты вашего проекта для анализа Simulink Design Verifier™.