Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. - Franck Cassez; Joanne Fuller; Milad K. Ghale; David J. Pearce 001; Horacio Mijail Anton Quiles (FM, 2023)

Deductive verification of smart contracts with Dafny. - Franck Cassez; Joanne Fuller; Horacio Mijail Anton Quiles (Int. J. Softw. Tools Technol. Transf., 2024)