Difference between revisions of "Verification"
Jump to navigation
Jump to search
| 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> | ||
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.