Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models

已完结

文献求助详情

标题	Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models 相关领域形式化方法
网址	https://doi.org/10.1109/NTMS.2018.8328737
DOI	10.1109/NTMS.2018.8328737 doi
其它	期刊：2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS) 作者：Tesnim Abdellatif; Kei-Leo Brousmiche 出版日期：2018
求助人	研友_Lw4kGn 在 2021-01-26 20:05:53 发布，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

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

科研通，破除各种障碍，优化资源分配，让科研信息充分流通

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

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

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

更新

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

更新

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

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

实时播报: 薰硝壤的应助被草木采纳，获得10

1秒前; 华仔上传了应助文件

2秒前; tursun上传了应助文件

2秒前; 一往之前完成签到，获得积分10

3秒前; 狂野含烟发布了新的文献求助10

4秒前; InfoNinja的应助被hb采纳，获得20

5秒前; 科研通AI2.0上传了应助文件

6秒前; FashionBoy上传了应助文件

7秒前; 雨季发布了新的文献求助10

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

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

12秒前; bkagyin上传了应助文件

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

12秒前; 圆圈完成签到，获得积分10

14秒前; Whisper关注了科研通微信公众号

15秒前; huangnvshi驳回了丘比特的应助

16秒前; CodeCraft的应助被阔达荣轩采纳，获得10

16秒前; 称心梦之完成签到，获得积分20

16秒前; 科研通AI2S的应助被草木采纳，获得10

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

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

18秒前; shgd发布了新的文献求助20

19秒前; 斯文败类上传了应助文件

22秒前; Akim上传了应助文件

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

23秒前; Lili发布了新的文献求助10

23秒前; 酷波er上传了应助文件

24秒前; NexusExplorer上传了应助文件

24秒前; 爆米花的应助被称心梦之采纳，获得10

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

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

25秒前; 科研通AI2S的应助被圆圆的波仔采纳，获得10

26秒前; 狂野大雄鹰发布了新的文献求助10

27秒前; 小张只爱姜云升发布了新的文献求助10

28秒前; 毛豆爸爸的应助被稳重的若雁采纳，获得20

28秒前; Shabby0-0发布了新的文献求助10

29秒前; CodeCraft上传了应助文件

30秒前; 列奥维登发布了新的文献求助50

30秒前; lalala发布了新的文献求助10

30秒前; 幸福大白发布了新的文献求助10

30秒前