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