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.

[@dipendrayadav6068]

Thank you for the video, it was really enlightening.

[@muhammadfawad974]

Outstanding animation 10/10

[@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.

[@rigmarhaynes4197]

This just helped me understand an ICO. Thank you

[@felipe2637]

awesome video

[@amazzalel-habib9099]

Great explaination! Thanks

[@ttoommxxmmoott]

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

[@dhvinay]

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

[@MarieAmeliaFreyaAster]

It's (most of the time) an abstraction of the code that actually runs or what exactly do you mean?

[@paulieluo4057]

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

[@alanoodyassin3176]

awsome

[@user-kn1tn9yl5w]

쏘쁘뜨웨어!

[@MarieAmeliaFreyaAster]

what

[@syed9576]

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?