文档帮助中心文档
这个例子展示了如何验证安全属性在推力反向器的设计模型。它下面的属性块包含四个安全属性。金宝app仿真软件设计校验分析设计模型和安全属性证明正确性或识别反例。模型引用的使用消除了需要验证的内容添加到设计模型,允许核查内容设计的独立存在。
open_system (“sldvdemo_thrustrvs_verification”);
你有一个修改版的这个例子。你想打开这个例子与编辑?
你点击一个链接对应MATLAB命令:
运行该命令通过输入MATLAB命令窗口。Web浏览器不支持MATLAB命令。金宝app
选择一个网站翻译内容,看到当地事件和提供。根据你的位置,我们建议您选择:。
你也可以从下面的列表中选择一个网站:
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。
联系你当地的办公室