Formal Methods for Security

Termination of Ethereum's Smart Contracts