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