Ethereum, Kvm, Formal Verification, Solidity, Smart Contracts.
verification tools for Ethereum finally maturing, it is now not only possible but also practical. In this and following post we will be getting step by step into the world of K-framework, which allows to formally verify EVM smart contracts. The heart: Semantics and the K language The heart of the