Formal Verification
Mathematically proving a contract behaves as specified, rather than testing that it usually does.
179 talks
- Simple Formally Verified Dapps, Beyond Smart Contracts
- KWasm: Executable (E)Wasm Semantics for Verification and Profit by Rikard Hjort (Devcon5)
- Formal Verification of Smart Contracts Made Easy (Devcon5)
- Fully Automated Inductive Invariants Inference for Solidity Smart Contracts by Leo Alt (Devcon5)
- Formally Verified EVM Golf and Reverse Bug Bounties by Martin Lundfall, Lev Livnev (Devcon5)
- Building a Formally-Verified DApp with the Reach DSL, today! by Jay McCarthy (Devcon5)
- K Semantic Model of Beacon Chain by Daejun Park (Devcon5)
- Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)
- ZKPodcast: Formal Verification with Martin Lundfall
- A Brief Introduction to K, KEVM, and KWasm
- Formal verification and CBC Casper
- zkSummit - Lightning Talk: Martin Lundfall (Maker/Dapphub)
- EthCC 2: Dr Petar Tsankov
- Using Solidity's SMTChecker by Leonardo Alt (Devcon4)
- Introducing Formality by Victor Maia & Leonardo Souza (Devcon4)
- #239 Grigore Rosu: The K framework - a framework to formally define all programming languages
- #238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
- J1 RF 02 Casey Detrio fuzzing
- #212 Adam Perlow & Asher Manning: Zen Protocol - A Decentralized Financial System
- Challenges Ahead for Smart Contracts
- Panel: Formal Verification
- Securify: Not Your Grandma’s Smart Contract Verification
- Verifying Casper
- KEVM: Overview and Progress Report