币圈头条-获取币圈情报,读懂区块链产业!

云南省编制的区块链团体标准批准发布

4月18日消息,近日,由北京航空航天大学研制、云南省组织编写的《区块链智能合约形式化设计与验证方法》 (T/CIE130-2022)团体标准通过中国电子学会审定,将由中国标准化出版社正式出版。中国标准化研究院发布的《标准查新报告》确认该标准内容在国内外相关领域具有创新性,认为“制定的标准首次提出了区块链智能合约形式化设计和验证的一体化方法,为国内外使用形式化方法解决智能合约的设计、开发和验证提供了统一标准,可有效解决智能合约设计、开发和测试难的问题”。(云南网)

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。