Formal Verification of Smart Contracts - Yoichi Hirai

Mon, Oct 2, 2017, 12:00 AM

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