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