推力反向器性能验证工作流程

此示例说明如何验证推力反向设计模型中的安全属性。其下方的属性模块包含四个安全属性。Simulink ® Design Verifier™ 分析设计模型和安全属性以证明正确性或识别反例。使用模型引用无需在设计模型中添加验证内容，使得验证内容可以独立于设计而存在。

open_system('sldvdemo_thrustrvs_verification');