SmartCheck: static analysis of ethereum smart contracts

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

2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.9-16

New York, NY, USA: ACM

Texto completo disponível