Watch / Formal Verification for Solidity

Formal Verification for Solidity

  • YouTube
  • IPFS
  • Swarm
  • Details

Formal Verification for Solidity

Duration: 00:19:29

Speaker: Christian Reitwiessner, Yoichi Hirai

Type: Talk

Expertise: Advanced

Event: Devcon 2

Date: Sep 2016

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

CR

Christian Reitwiessner

Christian created Solidity and is now co-leading the project. His interests include interactive and non-interactive verification, cryptography and in general analyzing and reasoning about computation.

  • Related