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

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

Formal Verification 101 for Blockchain Systems and Smart Contracts

Devcon 3 report: Day 3 – Dapp development

A Blockchain-Based Smart Contract Towards Developing Secured University Examination System

Ethereum biweekly vol.50🎉: Ecosystem and projects' updates, development tools and research articles, by Paradigm, Paradigm

Burela's house-o-blog, Blockchains, Cloud & Development

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

Verify Smart Contracts on Block Explorers

A Simpler Guide to Ethereum — Brunny.eth

Formal Verification for Solidity · Devcon Archive: Ethereum Developer Conference

Ethereum biweekly: Ecosystem and Projects' Updates, Opinion and Research Articles, by Paradigm, Paradigm