A formal verification tool for Ethereum VM bytecode

已完结

文献求助详情

标题	A formal verification tool for Ethereum VM bytecode 相关领域 Java 象征性执行 Java字节码操作系统智能合约静态分析软件工程管理程序
网址	https://doi.org/10.1145/3236024.3264591
DOI	10.1145/3236024.3264591 doi
其它	期刊：Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 作者：Daejun Park; Yi Zhang; Manasvi Saxena; Philip Daian; Grigore Roşu 出版日期：2018
求助人	研友_Lw4kGn 在 2021-01-26 20:09:22 发布，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

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

关注科研痛点，打通你的七经六脉

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

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

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

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

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

实时播报: 弈yx完成签到，获得积分10

2秒前; 今后上传了应助文件

3秒前; orixero上传了应助文件

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

4秒前; 屁颠屁颠_狼完成签到，获得积分0

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

4秒前; 科研通AI2S上传了应助文件

5秒前; 星辰大海上传了应助文件

5秒前; 星辰大海的应助被kk采纳，获得10

5秒前; 田様上传了应助文件

6秒前; 隐形曼青上传了应助文件

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

7秒前; Hello上传了应助文件

8秒前; hyy发布了新的文献求助10

8秒前; momo发布了新的文献求助10

8秒前; 星星驳回了科研通AI2S的应助

9秒前; bubble发布了新的文献求助10

11秒前; Singularity上传了应助文件

11秒前; 阿会发布了新的文献求助10

11秒前; bob发布了新的文献求助10

11秒前; 小黑妞发布了新的文献求助10

11秒前; 本是个江湖散人完成签到，获得积分10

13秒前; 腼腆的鸵鸟完成签到，获得积分10

14秒前; 科目三的应助被圆圆的波仔采纳，获得10

14秒前; 香蕉觅云的应助被WWW采纳，获得10

16秒前; 易寒完成签到，获得积分10

17秒前; 梓歆发布了新的文献求助10

17秒前; 小黑妞完成签到，获得积分10

17秒前; 文刀武书生发布了新的文献求助10

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

19秒前; 田様的应助被LYB吕采纳，获得10

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

21秒前; 学术小天才完成签到，获得积分10

21秒前; 情怀上传了应助文件

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

22秒前; 正直的念梦发布了新的文献求助10

23秒前; 文刀武书生完成签到，获得积分10

23秒前; Dr.Mary完成签到，获得积分10

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

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

25秒前