C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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