Work

SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts

Year: 2022

Type: article

Source: Empirical Software Engineering

DOI: 10.1007/s10664-022-10218-2

Authors: Zhaoxuan Li, Siqi Lu, Rui Zhang, Rui Xue, Wenqiu Ma, Rujin Liang, Ziming Zhao, Sheng Gao

Institutions: Chinese Academy of Sciences, Institute of Information Engineering, University of Chinese Academy of Sciences, State Key Laboratory of Information Security, PLA Information Engineering University, Zhejiang University, Central University of Finance and Economics

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, National Key Research and Development Program of China

OpenAlex ID: W4304607691

FWCI: 6.684

Cites: 22

Cited by: 30

Related to: 10