ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

モデル検査と充足可能性問題

ショートカット: 違い類似点ジャカード類似性係数参考文献

モデル検査と充足可能性問題の違い

モデル検査 vs. 充足可能性問題

モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。. 充足可能性問題(じゅうそくかのうせいもんだい、satisfiability problem, SAT)は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。.

モデル検査と充足可能性問題間の類似点

モデル検査と充足可能性問題は(ユニオンペディアに)共通の1のものを持っています: 充足可能性問題

充足可能性問題

充足可能性問題(じゅうそくかのうせいもんだい、satisfiability problem, SAT)は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。.

モデル検査と充足可能性問題 · 充足可能性問題と充足可能性問題 · 続きを見る »

上記のリストは以下の質問に答えます

モデル検査と充足可能性問題の間の比較

充足可能性問題が21を有しているモデル検査は、30の関係を有しています。 彼らは一般的な1で持っているように、ジャカード指数は1.96%です = 1 / (30 + 21)。

参考文献

この記事では、モデル検査と充足可能性問題との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »