Formal Verification of Smart Contracts — Smart Contract & Execution

Name: Formal Verification of Smart Contracts
Author: Jesse Alexander

Begin one level earlier than the tools: testing asks whether selected executions violate a property; formal verification asks whether the mathematical… First-principles module in Smart Contract & Execution, with a mastery quiz.