形式的検証
1. Formal verificationIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics . Complete formal verification is the only known way to guarantee that a system is free of programming errors. “ ” From abstract of paper presented to ACM symposium
Read “Formal verification” on English Wikipedia
Read “形式的検証” on Japanese Wikipedia
Read “Formal verification” on DBpedia
Read “Formal verification” on English Wikipedia
Read “形式的検証” on Japanese Wikipedia
Read “Formal verification” on DBpedia
Discussions
Log in to talk about this word.