Links
The following resources about KEVM are available:
Videos
- KEVM: A complete formal semantics of the Ethereum virtual machine Introduces the formal language definition of K, vision of the K framework, uses of KEVM, intra-contract correctness and future work planned.