В больших, более сложных моделях Simulink® Design Verifier™ использует математические методы, чтобы упростить анализ:
Он идентифицирует фрагменты модели, которые не влияют на желаемые цели.
Он обнаруживает отношения в модели, которые уменьшают сложность поиска.
Он повторно использует промежуточные результаты от одной цели к другой.
Таким образом, задача сводится к поиску, хотя и логические значения, которые описывают вашу модель.
Для получения подробной информации об анализе больших моделей смотрите Анализ Большой модели.