Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02057451n
Noun Concept
Categories: 理論計算機科学, 数学に関する記事, ソフトウェア工学, デジタル回路, 形式手法
JA
形式的検証  プログラム検証  検証可能性  検証可能性の
JA
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。 Wikipedia
Definitions
Relations
Sources
JA
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。 Wikipedia
IS A
検証
HAS KIND
EN
runtime verification
OBJECTIVE OF PROJECT OR ACTION
正当性
Wikipedia
JA
形式的検証
Wikidata
JA
形式的検証
Wikipedia Redirections
JA
プログラム検証
Wikipedia Translations
JA
検証可能性, 検証可能性の

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License