共 39 条
- [21] SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts Empirical Software Engineering, 2022, 27
- [26] Systematic literature review on smart contracts in the construction industry: Potentials, benefits, and challenges Frontiers of Engineering Management, 2022, 9 : 196 - 213
- [28] ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021), 2021, : 915 - 925
- [29] Why CBDCs Will Likely Not Support Full Smart Contracts: A Requirements Analysis Perspective 32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 353 - 357
- [30] SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper) SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 244 - 250