工标网 回首页
标准分类  最新标准New!  标准公告 标准动态  标准论坛
 高级查询
帮助 | 登录 | 注册
查标准上工标网 免费查询标准最新替代作废信息
 您的位置:工标网 >> >> T/CIE 130-2022

区块链 智能合约形式化设计与验证方法

国家标准
标准编号:T/CIE 130-2022 标准状态:现行
标准价格:38.0 客户评分:星星星星1
立即购买工即可享受本标准状态变更提醒服务!
点击放入购物车 如何购买?问客服 放入收藏夹,免费跟踪本标准更替信息! 参与评论本标准
标准简介
本文件提供了区块链智能合约形式化设计与验证方法及流程,主要包括需求描述、形式化建模、模型转换、形式化验证、自动代码生成、一致性测试的方法。
本文件适用于采用形式化方法开展区块链智能合约设计与验证。
英文名称:  Information technology—General spatiotemporal information application support platform—Reference architecture
什么是中标分类? 中标分类:  电子元器件与信息技术>>信息处理技术>>L74程序语言
什么是ICS分类?  ICS分类:  信息技术、办公机械设备>>35.060信息技术用语言
发布部门:  中国电子学会
发布日期:  2023-05-30
实施日期:  2023-05-30
提出单位:  中国电子学会计算机工程与应用分会
什么是归口单位? 归口单位:  中国电子学会
起草单位:  东软集团股份有限公司、苏州大学、中国科学院地理科学与资源研究所、电子科技大学、北京电信规划设计院有限公司、中移(苏州)软件技术有限公司、沈阳东软智能医疗科技研究院有限公司、国信优易数据股份有限公司、东北大学、浙江吉利控股集团有限公司等
起草人:  程万军、许佳捷、赵赫、房俊华、徐景辉、潘志诚、刘峰、晁平复、何光宇、金铸、刘思成、张恒才、郑凯、李家京、郭建楠、王春涛、王军义、王天喜、蒋志超、李海生、顾力行、杨鸣、白杰、魏春龙、刘乃溪
页数:  32页
出版社:  中国标准出版社
相关搜索: 区块链 智能  [ 评论 ][ 关闭 ]

程序语言相关标准 第1页 第2页 
 GB/T 7591-1987 程序设计语言Pascal
 GB/T 9362-1988 用于工业过程控制 实时FORTRAN
 GB/T 9542-1988 程序设计语言PL/1
 GB/T 9543-1988 程序设计语言PL/1通用子集
 SJ/T 10758-1996 半导体集成电路电视机电路系列和品种
 SL/T 809-2021 水利对象基础数据库表结构及标识符
 T/CIE 095-2020 区块链智能合约形式化表达
 T/CIE 131-2022 信息技术 通用时空信息应用支撑平台参考架构
 T/CIE 152-2022 微电子器件假冒翻新物理特征识别方法与程序
 免费下载程序语言标准相关目录

信息技术用语言相关标准 第1页 
 GB 4144-1984 程序设计语言 最小BASIC
 JB/T 10334-2002 激光打印机测试版(A4)
 SB/T 11038-2013 中药材流通追溯体系专用术语规范
 SJ/T 11238-2001 语言复读机通用规范
 T/CIE 104.1-2021 青少年软件编程等级评价指南 第1部分:通则
 T/CIE 104.2-2021 青少年软件编程等级评价指南 第2部分:图形化编程
 T/CIE 104.3-2021 青少年软件编程等级评价指南 第3部分:C/C++语言编程
 T/CIE 104.4-2021 青少年软件编程等级评价指南 第4部分:Python语言编程
 T/CIE 129-2021 区块链 智能合约 合同文本置标语言(CTML)
 免费下载信息技术用语言标准相关目录

 发表留言
内 容
  用户:   口令:  
 
 
客服中心
有问题?找在线客服 点击和客服交流,我们的在线时间是:工作日8:30至18:00,节假日;9:00至17:00。工标网欢迎您和我们联系!
未开通400地区或小灵通请直接拨打0898-3137 2222 400-7255-888
客服QQ 1197428036 992023608
MSN或电子邮件 18976748618 13876321121
温馨提示:标准更新替换较快,请注意您购买的标准时效性。
常见问题 帮助中心
我为什么找不到我想要的标准?
配送范围、配送时间和收费标准
如何付款,支持哪些付款方式?
必备软件下载
Adobe Acrobat Reader 是一个查看、 阅读和打印PDF文件的最佳工具,通 过它可以查阅本站的标准文档
pdf下载
搜索更多
google 中搜索:T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
baidu 中搜索:T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
yahoo 中搜索:T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
soso 中搜索:T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
中搜索:T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
 
付款方式 - 关于我们 - 帮助中心 - 联系我们 - 诚聘英才 - 合作伙伴 - 使用条款
QQ:1197428036 992023608 有问题? 联系在线客服
Copyright © 工标网 2005-2023,All Right Reserved