KEVM: A Complete Semantics of the Ethereum Virtual Machine
Semantics-based program verifiers for all languages