标准编号:	T/CIE 130-2022
中文名称:	区块链 智能合约形式化设计与验证方法
中标分类:	L74    程序语言
行业分类:	T/    团体标准
ICS分类:	35.060 35.060    信息技术用语言 35.060
发布机构:	中国电子学会
标准状态:	valid
翻译语言:	英文

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