VerX: Safety Verification of Smart Contracts. - Anton Permenev; Dimitar Dimitrov 004; Petar Tsankov; Dana Drachsler-Cohen; Martin T. Vechev (SP, 2020)