SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts[J] EMPIRICAL SOFTWARE ENGINEERING 2022(27) Li, Zhaoxuan Lu, Siqi Zhang, Rui Xue, Rui Ma, Wenqiu Liang, Rujin Zhao, Ziming Gao, Sheng
