Конструктивные требования задают нежелательные поведения в модели. Simulink® Design Verifier™ использует свойство, оказывающееся проверять, что свойства, сопоставленные с образцовыми требованиями, содержат под всеми возможными входными значениями, или обеспечивает контрпримеры, где требования перестали работать. Вы используете Simulink Design Verifier, чтобы смоделировать конструктивные требования как свойства и затем Prove Properties в Модели.
