https://yeek.io/dev-update-formal-methods-ethereum-foundation-blog/