Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.

Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles

Browse the full FM paper archive.