Create an account to use AI

Create a free account to unlock all features:

Ask questions about videos with AI
Use smart search (AI)
Save your favorite videos
Bookmark your favorite categories
Organize your favorite subcategories
Access your personalized favorites page
Access your conversation history
Personalize your homepage with your favorites

Create an account

Already have an account? Log in

Formal Verification for Solidity

Ethereum Foundation

Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, decentralized access on IPFS and more.

https://archive.devcon.org/archive/watch/2/formal-verification-for-solidity

Christian Reitwiessner & Yoichi Hirai speak on Formal Verification for Solidity.

Speaker(s): Christian Reitwiessner, Yoichi Hirai

Skill level: Advanced

Track: Developer Infrastructure

Keywords: code, testing, balances, call, compiler, gui, why3, evm

Follow us: https://twitter.com/efdevcon, https://twitter.com/ethereum

Learn more about devcon: https://www.devcon.org/

Learn more about ethereum: https://ethereum.org/

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

Devcon 2 was held in Shanghai, China on Sep 19 - 21, 2016.

Devcon is organized and presented by the Ethereum Foundation, with the support of our sponsors. To find out more, please visit https://ethereum.foundation/

Formal Verification for Solidity | Knoovi