云南省参与编制的一区块链团体标准获批发布
近日,由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》(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
- 东软集团高级副总裁卢朝霞:为健康中国战略献智出力
- 挽狂澜、精技术、升业绩——访南京富士通南大软件技术有限公司副董事长、总经理长仓浩士
- 湖光山色秀西楚风韵 一体两翼创国家基地
- 让世界更卓越运转 ———访SAP中国区总裁萧洁云