Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Antón Quiles
Topics & Concepts
BytecodeComputer scienceExecutableProgramming languageSemantics (computer science)Abstract state machinesOperational semanticsState (computer science)Virtual machineFinite-state machineOperating systemMachine codeAbstract machineTheoretical computer scienceCompilerDistributed systems and fault toleranceSecurity and Verification in ComputingBlockchain Technology Applications and Security