KEVM: An executable formal specification for the Ethereum Virtual Machineideals.illinois.edu3 pointsxwvvvvwx8 years ago