智能合约的形式化验证方法研究综述

PDF(900 KB)

电子学报 ›› 2021, Vol. 49 ›› Issue (4) : 792-804. DOI: 10.12263/DZXB.20200723

智能合约的形式化验证方法研究综述

作者信息 +

Review on Formal Verification of Smart Contract

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2021, 49(4): 792-804. https://doi.org/10.12263/DZXB.20200723

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2021, 49(4): 792-804. https://doi.org/10.12263/DZXB.20200723

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(900 KB)

Accesses

Citation

Detail

段落导航