主要内容
反推装置性能验证工作流程
此示例显示如何验证反推器设计模型中的安全属性。下面的属性块包含四个安全属性。Simulink design Verifier分析设计模型和安全属性以证明正确性或识别反例。使用模型引用无需添加验证内容nt到设计模型，允许验证内容独立于设计存在。金宝app
开放式系统(“sldvdemo\u推进器验证”);
您还可以从以下列表中选择网站：
此示例显示如何验证反推器设计模型中的安全属性。下面的属性块包含四个安全属性。Simulink design Verifier分析设计模型和安全属性以证明正确性或识别反例。使用模型引用无需添加验证内容nt到设计模型，允许验证内容独立于设计存在。金宝app
开放式系统(“sldvdemo\u推进器验证”);
您还可以从以下列表中选择网站：
