Formal Verification Workshop Part 1
Gnosis' Dominik Teiml gives a workshop on how to formally verify EVM smart contracts.
For part II: • Formal Verification Workshop Part 2
Gnosis' Dominik Teiml gives a workshop on how to formally verify EVM smart contracts.
For part II: • Formal Verification Workshop Part 2