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-16New York, NY, USA: ACM
Texto completo disponível