4.4 Article

Validation and Verification of Smart Contracts: A Research Agenda

期刊

COMPUTER
卷 50, 期 9, 页码 50-57

出版社

IEEE COMPUTER SOC
DOI: 10.1109/MC.2017.3571045

关键词

-

向作者/读者索取更多资源

Smart contracts might encode legal contracts written in natural language to represent the contracting parties' shared understandings and intentions. The issues and research challenges involved in the validation and verification of smart contracts, particularly those running over blockchains and distributed ledgers, are explored.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.4
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据