云南省参与编制的一区块链团体标准获批发布
近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。
热门文章
- CVIC SE Enters the Jamaican Expressway Market with the Strat
- Huawei and Haier Sign the Strategic Cooperation Agreement
- Sunyard and Chouzhou Commercial Bank Develop the Internet Fi
- To Build the Cloud Ecology, Taiji and Huawei Sign a Strategi
- 苗圩赴宁夏调研智慧城市建设情况
- 北京市经济信息化委领导出席智慧城市发展论坛
- “智慧城市”步伐加快，“滴滴保镖”项目即将落户济南历下区
- 东华发思特助力阿里“互联网+城市服务”，抢滩智慧城市建设
推荐内容
