Difference between revisions of "Video/What is Formal Verification"
Jump to navigation
Jump to search
(Created page with "{{#ev:youtube|-CTNS2D-kbY}}") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{#ev:youtube|-CTNS2D-kbY}} | {{cite book | ||
|first= | |||
|last=Galois | |||
|author-link= | |||
|date=Feb 21, 2018 | |||
|title=What is Formal Verification | |||
|url=https://youtu.be/-CTNS2D-kbY | |||
|location=[[Video/What is Formal Verification|local page]] | |||
|publisher=Galois | |||
}} | |||
<noinclude> | |||
{{#ev:youtube | |||
|-CTNS2D-kbY | |||
}} | |||
=References= | |||
<references/> | |||
==Related Pages== | |||
[[Category:Software Engineering]] | |||
[[Category:Verification]] | |||
</noinclude> | |||
Latest revision as of 14:44, 3 September 2021
Galois (Feb 21, 2018). What is Formal Verification. local page: Galois.
{{#ev:youtube
|-CTNS2D-kbY
}}