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

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