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

Panel: Formal Verification

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/3/formal-verification

Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, & Reto Trinkler discuss Formal Verification.

Speaker(s): Phil Daian, Everett Hildenbrandt, Yoichi Hirai, Loi Luu, Reto Trinkler

Skill level: Advanced

Track: Developer Infrastructure

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 3 was held in Cancún, Mexico on Nov 1 - 4, 2017

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

Panel: Formal Verification | Knoovi