出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/25 20:43 UTC 版)「TRONCHIP」の記事における「SISCまたはEISC」の解説「RISC対CISC」...

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

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/03/11 21:02 UTC 版)「LISPマシン」の記事における「その他の高水準言語マシン」の解説日本の第五世代コンピュ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/08 17:26 UTC 版)「自然言語理解」の記事における「コンポーネントとアーキテクチャ」の解説どのような技法であ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 08:37 UTC 版)「ジーザス (ゲーム)」の記事における「登場するメカ」の解説JESUS 研究・宇宙開発の...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「証明論と構成的数学」の解説詳細は「証明論」を参照 証明論は...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/22 02:04 UTC 版)「ジャイナ哲学」の記事における「認識論と論理学」の解説「アネーカーンタヴァーダ」および「...

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

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

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