Old Web
English
Sign In
Acemap
>
Paper
>
{ETHBMC}: A Bounded Model Checker for Smart Contracts
{ETHBMC}: A Bounded Model Checker for Smart Contracts
2020
Joel Frank
Cornelius Aschermann
Thorsten Holz
Keywords:
Computer security
Computer science
bounded model checker
Correction
Source
Cite
Save
Machine Reading By IdeaReader
21
References
24
Citations
NaN
KQI
[]