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