收录自团体标准信息平台，认准啦(RenZhunLa.com)为执行该团体标准的产品或服务提供推介展位，欢迎留言交流。
| 标准详细信息 |
|---|
| 标准状态 | 现行 |
| 标准编号 | T/CIE 130—2022 |
| 中文标题 | 区块链 智能合约 形式化设计与验证方法 |
| 英文标题 | |
| 国际标准分类号 | 35.060 |
| 中国标准分类号 | |
| 国民经济分类 | I6550 信息处理和存储支持服务 |
| 发布日期 | 2022年03月28日 |
| 实施日期 | 2022年05月01日 |
| 起草人 | 胡凯、李洁、朱健、孙贻滋、朱岩、亓峰、洪京一、姚前、蒋国庆、李冀宁、潘妍、 姚绍文、赵祯龙、丁毅、叶亚飞、解安可、苏仟、种法辉、王莹、任旖航、冯立波、张亮、万季、李洋、葛宁、 王飞、冯思博、富宗辰、徐剑波、英伟、马跃、张铮、陈细平、范金刚、张雪松。 |
| 起草单位 | 北京航空航天大学、国家工业信息安全发展研究中心、区块链技术与数据安全工 信部重点实验室、云南省区块链应用技术重点实验室、北京科技大学、北京邮电大学、北京物资学院、联 易融数字科技集团有限公司、北航云南创新研究院、云南省区块链和数字科技标准化技术委员会、云南 省数字经济产业投资集团有限公司、云南云上云信息化有限公司、常州唯实智能物联创新中心有限公 司、苏州链约科技有限公司、中数南粤（广州）信息科技有限公司、中鑫融信（北京）科技有限公司、杭州半 云科技有限公司、数字江西科技有限公司。 |
| 范围 | |
| 主要技术内容 | 本文件提供了区块链智能合约形式化设计与验证方法及流程，主要包括需求描述、形式化建模、模型转换、形式化验证、自动代码生成、一致性测试的方法。
本文件适用于采用形式化方法开展区块链智能合约设计与验证。 |
| 是否包含专利信息 | 否 |
| 标准文本 | 不公开 |
| 团体详细信息 |
|---|
| 团体名称 | 中国电子学会 |
| 登记证号 | 社证字第4079号 | 发证机关 | 中华人民共和国民政部 |
| 业务范围 | 学术交流 教育普及 书刊编辑 评审鉴定 专业展览 咨询服务 |
| 法定代表人/负责人 | 陈英 |
| 依托单位名称 | 中华人民共和国工业和信息化部 |
| 通讯地址 | 北京市玉渊潭南路普惠南里13号 | 邮编 : 100036 |
认准啦(RenZhunLa.com)为
收录自团体标准信息平台，认准啦(RenZhunLa.com)为执行该团体标准的产品或服务提供推介展位，欢迎留言交流。