收录自团体标准信息平台，认准啦(RenZhunLa.com)为执行该团体标准的产品或服务提供推介展位，欢迎留言交流。 标准详细信息 标准状态 现行 标准编号 T/CIE 130—2022 中文标题 区块链　智能合约 形式化设计与验证方法 英文标题 国际标准分类号 35.060 中国标准分类号 国民经济分类 I6550 信息处理和存储支持服务 发布日期 2022年03月28日 实施日期 2022年05月01日 起草人 胡凯、李洁、朱健、孙贻滋、朱岩、亓峰、洪京一、姚前、蒋国庆、李冀宁、潘妍、 姚绍文、赵祯龙、丁毅、叶亚飞、解安可、苏仟、种法辉、王莹、任旖航、冯立波、张亮、万季、李洋、葛宁、 王飞、冯思博、富宗辰、徐剑波、英伟、马跃、张 …