例は设计エラー検出を使用して，，モデルモデル整数オーバーオーバーフローフローフローエラーエラーエラーエラ金宝appーエラーををを検出検出検出方法方法方法をますます。。。。simulink®设计验证器™verifier™ははははとしてとしてとしてとしてとしてとして整数整数オーバーフローシミュレーション中オーバーが発生することと证明か，，または，，整数整数オーバーオーバーフローフローををテストテストテストケースケースケースををを

モデル内配列范囲外のアクセスエラーを検出

この例は，sldvexcommoncausesofdeadLogicを使用，ロジックロジック原因となっいるいる可能あるある个个所所ををを分离分离するするをを示し示しますます。。デッドロジックロジックのの検出検出検出検出でででで要素要素ががががが可能なを见つけます。