主要内容
使用MATLAB功能块证明的财产
此示例显示了如何验证安全带提醒设计模型。下面的安全性属性块包含MATLAB中指定的属性，该属性指定何时应激活图标。万博1manbetxSimulink Design Verifier分析了设计模型和安全性，以证明正确性或识别反例。在此模型中，违反了该属性，因为设计隐含地假设键输入从0开始，并按增量更改为1。
Open_System（'sldvdemo_sbr_verification'）;
您还可以从以下列表中选择一个网站：
