面向區(qū)塊鏈智能合約的高度自動化形式化驗證系統(tǒng)及方法
基本信息
| 申請?zhí)?/td> | CN201810266317.8 | 申請日 | - |
| 公開（公告）號 | CN108536445B | 公開（公告）日 | 2021-03-30 |
| 申請公布號 | CN108536445B | 申請公布日 | 2021-03-30 |
| 分類號 | G06F8/41(2018.01)I | 分類 | 計算；推算；計數(shù); |
| 發(fā)明人 | 楊霞 | 申請（專利權(quán)）人 | 成都鏈安科技有限公司 |
| 代理機構(gòu) | 成都四合天行知識產(chǎn)權(quán)代理有限公司 | 代理人 | 王記明 |
| 地址 | 610000四川省成都市成華區(qū)二環(huán)路東二段508號7層714號房 | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開了面向區(qū)塊鏈智能合約的高度自動化形式化驗證系統(tǒng)及方法，使用代碼轉(zhuǎn)換器工具可將區(qū)塊鏈智能合約源代碼，自動化的轉(zhuǎn)換為形式化驗證識別的語言中間層代碼，供形式化驗證輸入使用；采用形式化方法，可對轉(zhuǎn)換的源代碼進(jìn)行高度自動化的形式化安全驗證，判斷該智能合約的安全屬性需求是否安全。本發(fā)明能夠以較高程度的自動化，實現(xiàn)對區(qū)塊鏈智能合約進(jìn)行形式化安全驗證，其中的使用自動代碼轉(zhuǎn)換器能夠自動化生成形式化的待驗證程序，自動化驗算策略提高的驗證效率，這些措施則可以極大的提高智能合約形式化驗證的效率，減少人工參與度。?? |
