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