用語
J-GLOBAL ID:200906049996639229
モデル検査
主題カテゴリー:
主題カテゴリー
用語の主な分野です
電子計算機
同義語 (1件):
モデルチェッキング
(model checking)
モデルチェッキング について
「モデルチェッキング」ですべてを検索
関連語 (1件):
状態爆発問題
(state explosion problem)
状態爆発問題 について
「状態爆発問題」ですべてを検索
この用語の用語情報を見る
上位語 (1件):
プログラム検証
(program verification)
プログラム検証 について
「プログラム検証」ですべてを検索
この用語の用語情報を見る
下位語 (2件):
SPIN
SPIN について
「SPIN」ですべてを検索
この用語の用語情報を見る
境界モデル検査
(bounded model checking)
境界モデル検査 について
「境界モデル検査」ですべてを検索
この用語の用語情報を見る
シソーラスmap:
シソーラスmap
※学術用語集由来のみの同義語は表示されません
前のページに戻る
TOP
BOTTOM