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

FORMAL VERIFICATION OF SMART CONTRACTS Slides - https://chriseth.github.io/notes/talk… Dr. Christian [email protected] github.com/chriseth IC3-Ethereum Crypto Boot Camp2016-07-26 Problem: Writing code correctly is hard!Key goal: align mental model with machine modelEasy to test desired behaviour, hard to check absence of undesired behaviourReason: testing catches only finite amount of casesThis is important for Ethereum.Like for a web service, […]