大規模モデル

大規模でより複雑なモデルでは、Simulink^® Design Verifier™ は次の数学的手法により解析を簡略化します。

• 目的のオブジェクティブに影響しないモデルの部分を特定します。

• 検索の複雑度を低減させるモデル内の関係を検出します。

• あるオブジェクティブの中間結果を別のオブジェクティブで再利用します。

このようにして、問題はモデルを記述する論理値による 1 つの検索にまで絞り込まれます。

大規模モデルの解析の詳細は、大規模モデルの解析を参照してください。