Formal Verification
Mathematically proving a contract behaves as specified, rather than testing that it usually does.
179 talks
- Stablecoins with MakerDAO | EthereumMadrid went to Berlin @Private Key Meetup
- Directions in Smart Contract Research A Selection - Philip Daian
- Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
- Panel Smart Contract Security in Ethereum
- Formal Verification of Smart Contracts - Yoichi Hirai
- Formal Verification for Solidity
- A Correct by Construction Asynchronous Casper Protocol
- EB136 – Arthur Breitman: Tezos - A Self-Amending Crypto-Ledger
- Monadic Design Patterns for the Blockchain
- Towards Imandra Contracts: Formal verification for Ethereum
- 【ジョージタウン大 松尾教授×Nyx】イーサリアム研究の最前線とアカデミアが挑むべき課題