电子学报2021，Vol.49Issue(4)：792-804,13.DOI:10.12263/DZXB.20200723
智能合约的形式化验证方法研究综述
Review on Formal Verification of Smart Contract
摘要
关键词
形式化验证/智能合约/区块链/隐私保护/信息安全/可信交易分类
信息技术与安全科学引用本文复制引用
朱健,胡凯,张伯钧..智能合约的形式化验证方法研究综述[J].电子学报,2021,49(4):792-804,13.基金项目
国家重点研发项目(No.2018YFB1402702) （No.2018YFB1402702）
国家自然科学基金(No.61672074,No.61672075) （No.61672074,No.61672075）
教育部中国移动基金(No.MCM20180104) （No.MCM20180104）
软件开发重点实验室基金(No.SKLSDE-2020ZX-21) （No.SKLSDE-2020ZX-21）
