计算机工程2020，Vol.46Issue(10)：41-45,51,6.DOI:10.19678/j.issn.1000-3428.0056812
一种代币智能合约的形式化建模与验证方法
A Formal Modeling and Verification Method for Token Smart Contract
摘要
关键词
智能合约/代币/形式化建模/形式化验证/整数溢出漏洞分类
信息技术与安全科学引用本文复制引用
欧阳恒一,熊焰,黄文超..一种代币智能合约的形式化建模与验证方法[J].计算机工程,2020,46(10):41-45,51,6.基金项目
国家自然科学基金(61972369,61572453,61520106007,61572454) （61972369,61572453,61520106007,61572454）
国家重点研发计划(2018YFB2100300). （2018YFB2100300）
