财产证明推力反向器的工作流程

开放的例子

这个例子展示了如何验证安全属性在推力反向器的设计模型。它下面的属性块包含四个安全属性。万博1manbetx仿真软件®设计校验™分析设计模型和安全属性证明正确性或识别反例。模型引用的使用消除了需要验证的内容添加到设计模型,允许核查内容设计的独立存在。

open_system (“sldvdemo_thrustrvs_verification”);