本文转自：云南日报
近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE-）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。
据悉，该标准联合北京科技大学、北京邮电大学、北京航空航天大学云南创新研究院、省区块链应用技术重点实验室、省区块链和数字科技标准化技术委员会、省数字经济产业投资集团有限公司、云南云上云信息化有限公司等单位参与编制，使基于区块链的智能合约设计与验证流程各阶段具有规范性、方法性和可操作性，为使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准。（李承韩）