Watch / Formal Verification of Smart Contracts

Formal Verification of Smart Contracts

  • YouTube
  • IPFS
  • Swarm
  • Details

Formal Verification of Smart Contracts

Duration: 00:15:34

Speaker: Yoichi Hirai

Type: Other

Expertise: Advanced

Event: Devcon 2

Date: Sep 2016

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