「形式的検証」を解説文に含む見出し語の検索結果(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)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/15 20:52 UTC 版)「プログラム意味論」の記事における「分野」の解説プログラム意味論の分野には、以下のような...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/08 06:08 UTC 版)「仕様」の記事における「形式仕様」の解説詳細は「形式仕様記述」を参照 形式仕様は、ソフト...
< 前の結果 | 次の結果 >