近日，由北京航空航天大學牽頭制定、雲南省參與編制的《區塊鏈智能合約形式化設計與驗証方法》（T/CIE130-2022）團體標准獲得中國電子學會批復，將由中國標准化出版社正式出版。

據悉，該標准聯合北京科技大學、北京郵電大學、北京航空航天大學雲南創新研究院、省區塊鏈應用技術重點實驗室、省區塊鏈和數字科技標准化技術委員會、省數字經濟產業投資集團有限公司、雲南雲上雲信息化有限公司等單位參與編制，使基於區塊鏈的智能合約設計與驗証流程各階段具有規范性、方法性和可操作性，為使用形式化方法解決智能合約設計與開發、驗証等過程提供了統一標准。（李承韓）

分享讓更多人看到