金宝app^®设计Verifier™は形式的手法をを使するで，モデル内の隠れた设计をののオーバーフローフローオーバーオーバー，デッドロジック，配列アクセス违反，およびゼロ除算引き起こすブロックを内でします设计设计検出します。て设计エラーます要违反について，デバッグ用のテストケース生成しますについてについて，デバッグ设计しし。

金宝appSimulink Design Verifierは，モデルカバレッジおよびカスタムオブジェクティブのケースを生成するで，要件に基于のテストを拡拡ますます，判定の拡によりは条件，判定，改良条件は条件，判定，改良条件判定（mcdc）およびカスタムのカバレッジオブジェクティブを达成できます。カバレッジオブジェクティブのほかに，カスタムテストオブジェクティブを指定し，要件に基因テストを自动生成できます。

业主标准には，IEC认证套件（IEC 61508とISO26262用）と做资格套件（DO-178用）によってによってしてい。