SmartCheck: Static Analysis of Ethereum Smart Contracts.

Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov

Browse the full ICSE paper archive.