用語

J-GLOBAL ID：200906049996639229

モデル検査

電子計算機
同義語 (1件)：

モデルチェッキング (model checking)
モデルチェッキングについて
- 「モデルチェッキング」ですべてを検索

関連語 (1件)：

SPINモデルチェッカ (SPIN model checker)
SPINモデルチェッカについて
- 「SPINモデルチェッカ」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

プログラム検証 (program verification)
プログラム検証について
- 「プログラム検証」ですべてを検索
- この用語の用語情報を見る

下位語 (1件)：

境界モデル検査 (bounded model checking)
境界モデル検査について
- 「境界モデル検査」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM