网络与信息安全学报2022，Vol.8Issue(4)：P.12-28,17.DOI:10.11959/j.issn.2096−109x.2022041
基于形式化方法的智能合约验证研究综述
摘要
关键词
智能合约/形式化方法/区块链/以太坊/程序验证分类
信息技术与安全科学引用本文复制引用
张文博,陈思敏,魏立斐,宋巍,黄冬梅..基于形式化方法的智能合约验证研究综述[J].网络与信息安全学报,2022,8(4):P.12-28,17.基金项目
国家自然科学基金(61872142,62102243,61972241) （61872142,62102243,61972241）
上海市青年科技英才扬帆计划(21YF1417000) （21YF1417000）
上海市高可信计算重点实验室开放课题 （）
上海市自然科学基金面上项目(18ZR1417300) （18ZR1417300）
上海市科委部分地方高校能力建设项目(20050501900) （20050501900）
上海海洋大学青年教师科研启动项目。 （）
