External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Zhaoxuan Li, Siqi Lu, Rui Zhang 0016, Rui Xue 0001, Wenqiu Ma, Rujin Liang, Ziming Zhao, Sheng Gao. SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts. Empirical Software Engineering, 27(7):197, 2022. [doi]

Authors

Zhaoxuan Li

This author has not been identified. Look up 'Zhaoxuan Li' in Google

Siqi Lu

This author has not been identified. Look up 'Siqi Lu' in Google

Rui Zhang 0016

This author has not been identified. Look up 'Rui Zhang 0016' in Google

Rui Xue 0001

This author has not been identified. Look up 'Rui Xue 0001' in Google

Wenqiu Ma

This author has not been identified. Look up 'Wenqiu Ma' in Google

Rujin Liang

This author has not been identified. Look up 'Rujin Liang' in Google

Ziming Zhao

This author has not been identified. Look up 'Ziming Zhao' in Google

Sheng Gao

This author has not been identified. Look up 'Sheng Gao' in Google
runs on