research
∙
03/01/2023
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
The Ethereum protocol implements a replicated state machine. The network...
share
research
∙
08/04/2022
Deductive Verification of Smart Contracts with Dafny
We present a methodology to develop verified smart contracts. We write s...
research
∙
10/22/2021