Рабочий процесс доказательства свойства для инвертора тяги

В этом примере показано, как проверить свойства безопасности в модели проекта инвертора тяги.