T/CIE 130-2022 区块链智能合约形式化设计与验证方法

团体标准中文(简体) 现行页数：0页 | 格式：PDF

标准号

T/CIE 130-2022

标准类型

团体标准

标准状态

现行

中国标准分类号（CCS）

L74 程序语言

国际标准分类号（ICS）

35.060 信息技术用语言

发布日期

2022-03-28

实施日期

2022-05-01

发布单位/组织

归口单位

中国电子学会

适用范围

主要技术内容:本文件提供了区块链智能合约形式化设计与验证方法及流程，主要包括需求描述、形式化建模、模型转换、形式化验证、自动代码生成、一致性测试的方法。本文件适用于采用形式化方法开展区块链智能合约设计与验证

当前资源暂不支持预览

起草单位：: 北京航空航天大学、国家工业信息安全发展研究中心、区块链技术与数据安全工信部重点实验室、云南省区块链应用技术重点实验室、北京科技大学、北京邮电大学、北京物资学院、联易融数字科技集团有限公司、北航云南创新研究院、云南省区块链和数字科技标准化技术委员会、云南省数字经济产业投资集团有限公司、云南云上云信息化有限公司、常州唯实智能物联创新中心有限公司、苏州链约科技有限公司、中数南粤(广州)信息科技有限公司、中鑫融信(北京)科技有限公司、杭州半云科技有限公司、数字江西科技有限公司

起草人：: 胡凯、李洁、朱健、孙贻滋、朱岩、亓峰、洪京一、姚前、蒋国庆、李冀宁、潘妍、姚绍文、赵祯龙、丁毅、叶亚飞、解安可、苏仟、种法辉、王莹、任旖航、冯立波、张亮、万季、李洋、葛宁、王飞、冯思博、富宗辰、徐剑波、英伟、马跃、张铮、陈细平、范金刚、张雪松

暂无内容

更多>

T/CIE 130-2022 区块链 智能合约 形式化设计与验证方法