Why We do Formal Verification

This quickly produced video shows why we do formal verification.  Don’t do this at home (or work).

I did not figure out this trick; I theorized it might be possible, but somebody else found it out.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.