Rich Specifications for Ethereum Smart Contract Verification

Christian Bräm, Marco Eilers, Peter Müller +2

Smart contracts are programs that execute inside blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses,…