Name: Formal Verification of Smart Contracts - Yoichi Hirai
Uploaded: 2016-11-03T18:37:24+00:00
Duration: 15 min 34 s
Description: 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-of-smart-contracts Yoichi Hirai gives their talk on Formal Verification of Smart Contracts. Speaker(s): Yoichi Hirai

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