「形式的検証」の版間の差分

ナビゲーションに移動 検索に移動
m
編集の要約なし
m
'''形式的検証'''とは、ハードウェアおよびソフトウェアのシステムにおいて[[形式手法]]や[[数学]]を利用し、何らかの[[形式仕様]]やプロパティに照らしてシステムが正しいことを[[証明]]したり、逆に正しくないことを証明することである。
 
== 説明 ==
25,487

回編集

案内メニュー