形式的検証を解説文に含む用語の検索結果

「形式的検証」を解説文に含む見出し語の検索結果(1～10/117件中)

産業での応用 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「産業での応用」の解説設計の複雑さが増すにつれ、形式的検証技...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「ソフトウェアの形式的検証」の解説ソフトウェアの形式的検証の...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「使い方」の解説形式的検証の適用例としては、内部にメモリを持...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「形式的検証の手法」の解説形式的検証の手法は大きく2つに分類...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/11/10 06:15 UTC 版)「形式的検証」の記事における「Validation と Verification」の解説...

形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/15 20:52 UTC 版)「プログラム意味論」の記事における「分野」の解説プログラム意味論の分野には、以下のような...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 06:08 UTC 版)「仕様」の記事における「形式仕様」の解説詳細は「形式仕様記述」を参照形式仕様は、ソフト...

< 前の結果 | 次の結果 >