Robuta

https://jellopaper.org/edsl/ KEVM: Semantics of EVM in K | Runtime Verification, Inc. K Semantics of the Ethereum Virtual Machine (EVM) kevm semantics https://www.ideals.illinois.edu/items/102260 KEVM: A Complete Semantics of the Ethereum Virtual Machine | IDEALS ethereum virtual machine kevm complete semantics https://jellopaper.org/ KEVM: Semantics of EVM in K | Runtime Verification, Inc. K Semantics of the Ethereum Virtual Machine (EVM) kevm semantics