Simulink Design Verifierの解析について

Simulink Design Verifierは動的解析、静的解析どちらに当てはまるのでしょうか。

Answer 1

[Toshinobu Shintai]

モデルを実行して確認するので、一般的には動的解析に当たると思います。

[Koki Hashiguchi]

Shintai様

ご回答ありがとうございます。