Vulnerable Smart Contract Detection by Means of Model Checking

已完结

文献求助详情

标题	Vulnerable Smart Contract Detection by Means of Model Checking 基于模型检验的智能合约漏洞检测相关领域自动机脆弱性（计算）权力下放编码（集合论）计算机科学智能合约分布式计算计算机安全理论计算机科学程序设计语言法学块链政治学集合（抽象数据类型）
网址	https://doi.org/10.1145/3494106.3528672
DOI	10.1145/3494106.3528672 doi
其它	期刊：作者：Giuseppe Crincoli; Giacomo Iadarola; Piera Elena La Rocca; Fabio Martinelli; Francesco Mercaldo; et al 出版日期：2022-05-30
求助人	neo 在 2025-10-05 14:31:48 发布自广东，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通的所有服务均免费，并承诺对个人用户永久免费！

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: SNE上传了应助文件

1秒前; 材1完成签到，获得积分10

2秒前; 打打的应助被cy采纳，获得10

3秒前; 平凡发布了新的文献求助10

4秒前; 晚弦渡完成签到，获得积分10

5秒前; xcwy完成签到，获得积分10

6秒前; 灞桥散人完成签到，获得积分10

6秒前; pwang_lixin完成签到，获得积分10

7秒前; 樱铃完成签到，获得积分10

8秒前; xiaochaoge完成签到，获得积分10

8秒前; 东风完成签到，获得积分10

9秒前; 喜悦的依琴完成签到，获得积分10

9秒前; Xiaoqi完成签到，获得积分10

10秒前; 善良的冰绿完成签到，获得积分10

10秒前; MADAO完成签到，获得积分10

10秒前; 青山绿水完成签到，获得积分10

11秒前; 平凡完成签到，获得积分10

11秒前; 二重音完成签到，获得积分10

11秒前; Garfield完成签到，获得积分10

13秒前; 郭慧娜完成签到，获得积分10

14秒前; lzx发布了新的文献求助30

15秒前; 顺心的姒完成签到，获得积分10

17秒前; Galahad_14完成签到，获得积分10

17秒前; my完成签到，获得积分10

17秒前; 可爱的函函的应助被郭慧娜采纳，获得10

17秒前; 优优完成签到，获得积分10

17秒前; 诚诚不差事完成签到，获得积分10

17秒前; 执着幻桃完成签到，获得积分10

20秒前; Lucky完成签到，获得积分10

21秒前; 1332117762完成签到，获得积分10

21秒前; xh完成签到，获得积分10

21秒前; 小丽完成签到，获得积分10

23秒前; 彭于晏的应助被周子淦采纳，获得10

24秒前; BaronR完成签到，获得积分10

24秒前; zhh关闭了zhh的文献求助

24秒前; WEI完成签到，获得积分10

25秒前; 橙橙完成签到，获得积分10

25秒前; lyf完成签到，获得积分10

27秒前; zhongcy完成签到，获得积分10

27秒前; 科研女仆完成签到，获得积分10

28秒前