翻訳と辞書 Words near each other ・ 形式的に実 ・ 形式的に実な体 ・ 形式的べき級数 ・ 形式的ベキ級数 ・ 形式的仕様記述 ・ 形式的冪級数 ・ 形式的冪級数環 ・ 形式的実体 (数学) ・ 形式的形成訴訟 ・ 形式的手法 ・ 形式的検証 ・ 形式的確定力 ・ 形式知 ・ 形式社会学 ・ 形式科学 ・ 形式称号 ・ 形式等価判定 ・ 形式美 ・ 形式聴牌 ・ 形式言語 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

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