Yoichi Hirai

Yoichi Hirai develops formal verification methods for software and contributed to the Bamboo smart contract compiler and the formal specification of the Ethereum Virtual Machine.

10 talks by Yoichi Hirai

• Your guide to formal verification when machines write Lean proofs
• Morphing Smart Contracts with Bamboo
• Panel: Formal Verification
• Verifying Casper
• All Core Devs - Execution #18
• All Core Devs - Execution #16
• All Core Devs - Execution #14
• All Core Devs - Execution #12
• Formal Verification of Smart Contracts - Yoichi Hirai
• Formal Verification for Solidity