0

NuSMVなどの最新のモデル チェッカーの最大状態空間サイズのおおよそのサイズはどれくらいですか。正確な数値は必要ありませんが、実行時間が許容できる場合 (数週間など) の状態サイズの値は必要ありません。

その限界を引き上げるために、シンボリック モデル チェック以外にどのような改善が行われているのでしょうか?

4

1 に答える 1