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