Difference between revisions of "Verification"
Jump to navigation
Jump to search
(Created page with " <noinclude> ==Related Pages== *Logically related::Data *Logically related::Tensor Category:Process Category:Measurement Category:Proportion Category:Sc...") |
|||
| (2 intermediate revisions 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. | |||
<noinclude> | <noinclude> | ||
=References= | |||
<references/> | |||
==Related Pages== | ==Related Pages== | ||
*[[Logically related::Data]] | *[[Logically related::Data]] | ||
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.