Formal Verification of Smart Contracts · Devcon Archive: Ethereum Developer Conference

Yoichi Hirai gives their talk on Formal Verification of Smart Contracts.

A Simpler Guide to Ethereum — Brunny.eth

Devcon Archive: Ethereum Developer Conference · Devcon Archive: Ethereum Developer Conference

Formal Verification for Solidity · Devcon Archive: Ethereum Developer Conference

Electronics, Free Full-Text

Formal Verification 101 for Blockchain Systems and Smart Contracts

Smart Contract Runtime Verification Inc

Solving blockchain trilemma using off‐chain storage protocol - Reno - 2023 - IET Information Security - Wiley Online Library

Formal Verification of Smart Contracts: Short Paper - Archive ouverte HAL

Ethereum thinks it can change the world. It's running out of time to prove it.