主要内容
用于推动反向器的工作流程
此示例显示了如何验证推力反向程序设计模型中的安全性。它下面的属性块包含四个安全性。金宝appSimulink Design Verifier分析了设计模型和安全性能，以证明正确性或识别反例。模型参考的使用消除了将验证内容添加到设计模型的需要，允许验证内容独立于设计。
Open_System（'sldvdemo_thrustrvs_verification'）;
您还可以从以下列表中选择一个网站：
