Difference between revisions of "Verification"
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{WikiEntry|key=Verification|qCode=953429}} is the process of proving certain data to be '''[[true]]'''. | |||
A video<ref>{{:Video/What is Formal Verification}}</ref> on this subject is available. | A video<ref>{{:Video/What is Formal Verification}}</ref> on this subject is available. | ||
<noinclude> | <noinclude> | ||
Latest revision as of 03:07, 5 February 2022
Verification(Q953429) is the process of proving certain data to be true. A video[1] on this subject is available.
References
- ↑ Galois (Feb 21, 2018). What is Formal Verification. local page: Galois.