无效财产证明

开放的例子

这个例子展示了如何使用Simulink®Design Verifier™属性证明分析找到无效的属性。它试图证明当当前输入值和前六个输入值的和大于6时，输出等于2。在这种情况下，该属性无效，因为单个大输入值(例如255)会导致总和大于6。Simulink Design Verifier生成了一个反例来演示违规。

open_system (“sldvdemo_debounce_falseprop”）;