Formal Verification of Smart Contracts in Cairo
ETHCC 7 · 8 Jul 2024 · 20:50
A Cairo workshop introduces formal verification methods for improving smart contract reliability and security.
Speakers
Topics
From ETHCC 7, hosted by Ethereum France.
ETHCC 7 · 8 Jul 2024 · 20:50
A Cairo workshop introduces formal verification methods for improving smart contract reliability and security.
From ETHCC 7, hosted by Ethereum France.