Login / Signup
SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts.
Zhaoxuan Li
Siqi Lu
Rui Zhang
Rui Xue
Wenqiu Ma
Rujin Liang
Ziming Zhao
Sheng Gao
Published in:
Empir. Softw. Eng. (2022)
Keyphrases
</>
analysis tool
highly accurate
computationally efficient
high accuracy
formal model
robust estimation
image segmentation
partial occlusion
real time
databases
artificial intelligence
computer vision
high quality
video sequences
manually labeled training data