What is Formal Verification?

What is formal verification? A light introduction to mathematically verifying the correctness of software systems.

[chrysleague]

Really helpful overview! The animation style is great, and reminds me of Kurzgesagt, although the graphics themselves aren't stylized in the same way.

[ttoommxxmmoott]

Is this not just what mathematics is intended to be, regardless of it's use in coding?

[dipendrayadav]

Thank you for the video, it was really enlightening.

[nealmcb]

Great video. I love the analogy between the number of paths in a maze and the number of paths thru a program. You might want to add (in a follow-on?) some practical examples, to make it more concrete.

[paulieluo]

Views-Quality-Ratio is way too low
This is another instance of youtube's deficiency when it comes to content quality

[rigmarhaynes]

This just helped me understand an ICO.
Thank you

[dhvinay]

@1:20 The specification that is being referred to is the specifications of the language in which code is written?

[coolaj]

So that mathematical formula... don't we call that code? So if we correctly write the tests, then we can correctly test that the code correctly passes the tests, yes? Wouldn't that require that we correctly understand the specification? And if we could do that... wouldn't we just write the code correctly? Critiquing the concept, not the video. Thumbs up.

[syed]

isn't this exactly what De Millo, Lipton and Perils argued is what is not possible? Program verification is not like mathematical theorem verification?

[nirorit]

0 information, why does this video get mostly likes?