SVScanner: Detecting smart contract vulnerabilities via deep semantic extraction[J] JOURNAL OF INFORMATION SECURITY AND APPLICATIONS 2023(75) Zhang, Hengyan Zhang, Weizhe Feng, Yuming Liu, Yang
A Survey of Smart Contract Formal Specification and Verification[J] ACM COMPUTING SURVEYS 2021(54) Tolmach, Palina Li, Yi Lin, Shang-Wei Liu, Yang Li, Zengxiang
