Formal Verification of Smart Contracts: Dr. Christian Reitwiessner – IC3-Ethereum Crypto Boot Camp

By | April 23, 2018

Blockchains.Technology http://youtu.be/rx0NPckEWGI http://youtu.be/rx0NPckEWGI

FORMAL VERIFICATION OF SMART CONTRACTS Slides – https://chriseth.github.io/notes/talks/formal_ic3_bootcamp/#/ Dr. Christian Reitwiessner @ethchris github.com/chriseth IC3-Ethereum Crypto…

Leave a Reply

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