Как открыть Simulink® Проектируйте Verifier™ библиотеку блоков, в MATLAB® в командной строке введите sldvlib.
Библиотека блоков Simulink Design Verifier имеет три категории блоков:
Цели и ограничения - Блоки, которые определяют пользовательские цели и ограничения
Темпоральные операторы - Блоки, которые задают временные свойства на булевых сигналах
Утилиты верификации - Различные утилиты верификации
Библиотека блоков также имеет сублибрарий «Свойства примера», который включает примеры того, как задать общие свойства в модели. Можно легко адаптировать эти примеры для использования в моделях.
