В этом примере показано, как проверить свойства безопасности в модели проекта реверсивного устройства. Блок Properties под ним содержит четыре свойства безопасности. Simulink Design Verifier анализирует свойства модели проекта и безопасности, чтобы доказать правильность или идентифицировать контрпримеры. Использование моделей-ссылок устраняет необходимость добавления содержимого верификации в модели проекта, позволяя содержимому верификации существовать независимо от проекта.
open_system('sldvdemo_thrustrvs_verification');
