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…