ethereum_formal_verification_overview

ethereum_formal_verification_overview copied to clipboard

I have started a project to define a formal semantics of Yul in Dafny. Github repo is https://github.com/franck44/yul-dafny There are a couple of verification examples and also some techniques to...

franck44

The slide's link of "Leo Alt : Fully Automated Formal Verification: How far can we go? (ETHcc)" is inaccessible

1

The link is here https://github.com/leonardoalt/ethereum_formal_verification_overview/blob/b082fd78c8ccbdd64cf46006753183e6fd145cdb/README.md?plain=1#L121 but it is inaccessible 

62theories