Formal Verification of Smart Contracts: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp
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...