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

T/CIE 130-2022 Blockchain formal design and verification methods for smart contracts

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

基本信息

标准号
T/CIE 130-2022
标准类型
团体标准
标准状态
现行
中国标准分类号(CCS)
国际标准分类号(ICS)
发布日期
2022-03-28
实施日期
2022-05-01
发布单位/组织
-
归口单位
中国电子学会
适用范围
主要技术内容:本文件提供了区块链智能合约形式化设计与验证方法及流程,主要包括需求描述、形式化建模、模型转换、形式化验证、自动代码生成、一致性测试的方法。本文件适用于采用形式化方法开展区块链智能合约设计与验证

发布历史

文前页预览

当前资源暂不支持预览

研制信息

起草单位:
北京航空航天大学、国家工业信息安全发展研究中心、区块链技术与数据安全工信部重点实验室、云南省区块链应用技术重点实验室、北京科技大学、北京邮电大学、北京物资学院、联易融数字科技集团有限公司、北航云南创新研究院、云南省区块链和数字科技标准化技术委员会、云南省数字经济产业投资集团有限公司、云南云上云信息化有 限公司、常州唯实智能物联创新中心有限公司、苏州链约科技有限公司、中数南粤(广州)信息科技有限公司、中鑫融信(北京)科技有限公司、杭州半云科技有限公司、数字江西科技有限公司
起草人:
胡凯、李洁、朱健、孙贻滋、朱岩、亓峰、洪京一、姚前、蒋国庆、李冀宁、潘妍、姚绍文、赵祯龙、丁毅、叶亚飞、解安可、苏仟、种法辉、王莹、任旖航、冯立波、张亮、万季、李洋、葛宁、王飞、冯思博、富宗辰、徐剑波、英伟、马跃、张铮、陈细平、范金刚、张雪松
出版信息:
页数:- | 字数:- | 开本: -

内容描述

暂无内容

定制服务

    相似标准推荐

    更多>