Loading...
Loading...
4
Sessions
4
Videos
26
Students
Mathematically prove your smart contracts are correct — before they hold millions in value. This course teaches practical formal verification using tools like Certora, Halmos, and symbolic execution. You'll learn to write specifications, reason about invariants, and verify complex DeFi protocols. By the end, you'll be able to provide mathematical guarantees about contract behavior that no amount of testing alone can achieve.
Understand what formal verification can do.
2h 0m
An introduction to the theory and practice of formal verification for smart contracts, explaining what mathematical guarantees verification can provide beyond traditional testing.
3h 15m
A hands-on deep dive into the Certora Verification Language and Prover, covering specification writing, invariant expression, and verifying complex smart contract properties.
2h 30m
An exploration of combining symbolic execution with fuzzing techniques to maximize code coverage and discover edge-case vulnerabilities in smart contracts.
3h 45m
A practical session applying formal verification to real DeFi protocols, demonstrating how to specify, verify, and gain confidence in production-grade smart contract systems.
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Verification project for Formal Verification for Smart Contracts (Cohort 3).
Formally verify a DeFi protocol component.