SmartCheck: Static Analysis of Ethereum Smart Contracts. - Sergei Tikhomirov; Ekaterina Voskresenskaya; Ivan Ivanitskiy; Ramil Takhaviev; Evgeny Marchenko; Yaroslav Alexandrov (WETSEB@ICSE, 2018)