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