主要内容
逆推力器性能验证工作流程
这个例子展示了如何验证反向推力设计模型中的安全特性。它下面的Properties块包含四个安全属性。金宝appSimulink Design Verifier通过分析设计模型和安全特性来证明其正确性或识别反例。使用模型引用消除了向设计模型添加验证内容的需要，允许验证内容独立于设计而存在。
open_system (“sldvdemo_thrustrvs_verification”）;
你也可以从以下列表中选择一个网站:
