翻訳と辞書 Words near each other ・ プログラム仮説 ・ プログラム内蔵式 ・ プログラム内蔵方式 ・ プログラム刺激 ・ プログラム合成 ・ プログラム売買 ・ プログラム学習 ・ プログラム導出 ・ プログラム意味論 ・ プログラム板 ・ プログラム検証 ・ プログラム特例法 ・ プログラム細胞死 ・ プログラム製品 ・ プログラム規定 ・ プログラム規定説 ・ プログラム言語 ・ プログラム言語R ・ プログラム言語の比較 ・ プログラム誘導 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク プログラム検証 ： ウィキペディア日本語版 形式的検証[けいしきてきけんしょう] 形式的検証（けいしきてきけんしょう）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。 == 使い方 == 形式的検証の適用例としては、内部にメモリを持つ暗号回路、組み合わせ回路、デジタル回路などのシステム、ソースコードで表現されるソフトウェアがある。 これらのシステムの検証は、システムを抽象化した数理モデル上で行われ、その数理モデルと実際のシステムの性質は一致している。使用される数理モデルとしては、有限状態機械、ラベル付き遷移系、ペトリネット、timed automata、hybrid automata、プロセス計算、プログラミング言語の形式意味論（操作的意味論、表示的意味論、公理的意味論）、ホーア論理などがある。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「形式的検証」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Formal verification 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.