Ethereum, Kvm, Formal Verification, Solidity, Smart Contracts.
Kazana who’s work on formal verification in Ethworks lead to writing this blog post. Stay tuned To get updates on formal verification and other Ethereum related topic follow us on twitter: @ethworks You can also follow us on Medium if you like the story 👏 👏 👏.