【团体标准】区块链智能合约形式化设计与验证方法

本网站发布时间： 2024-03-21

开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！查看详情>>

标准简介

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

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

【团体标准】 区块链智能合约形式化设计与验证方法