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

Transcript

So this talk is about uh how we can use formal verification uh for smart contracts especially written in solidity and as an introduction what is what is the actual problem we're trying to solve. Um, writing code correctly is very hard. And if we say that, we have to define what correctly means. And that's basically code is correct if it does exactl... Read More