Difference between revisions of "Verification"
From MgmtWiki
(Created page with "==Full Title or Meme== Verification is a process for comparing an assertion with a rule set to assure that the assertion is in compliance with the rule set. ==References=...") |
(→Full Title or Meme) |
||
| Line 1: | Line 1: | ||
==Full Title or Meme== | ==Full Title or Meme== | ||
[[Verification]] is a process for comparing an assertion with a rule set to assure that the assertion is in compliance with the rule set. | [[Verification]] is a process for comparing an assertion with a rule set to assure that the assertion is in compliance with the rule set. | ||
| + | |||
| + | ==Context== | ||
| + | |||
| + | ===Formal Verification of Software=== | ||
| + | In the context of [[Identity Management]] Formal [[Verification]] of software means the inspection of software to certain if it will produce the results in its specification. | ||
| + | |||
| + | * https://cacm.acm.org/magazines/2021/7/253452-formal-software-verification-measures-up/fulltext?mobile=false Formal Software Verification Measures Up] article seems to claim that we will be able to prove that programs will deliver only correct results, "real soon now" in spite of the fact that for most systems humans are not capable of defining what a correct result might be. | ||
==References== | ==References== | ||
[[Category: Glossary]] | [[Category: Glossary]] | ||
Revision as of 15:17, 16 September 2021
Full Title or Meme
Verification is a process for comparing an assertion with a rule set to assure that the assertion is in compliance with the rule set.
Context
Formal Verification of Software
In the context of Identity Management Formal Verification of software means the inspection of software to certain if it will produce the results in its specification.
- https://cacm.acm.org/magazines/2021/7/253452-formal-software-verification-measures-up/fulltext?mobile=false Formal Software Verification Measures Up] article seems to claim that we will be able to prove that programs will deliver only correct results, "real soon now" in spite of the fact that for most systems humans are not capable of defining what a correct result might be.
