首页/ 成都链安科技有限公司/ 专利详情

面向区块链智能合约的高度自动化形式化验证系统及方法

基本信息

申请号 CN201810266317.8 申请日 -
公开（公告）号 CN108536445B 公开（公告）日 2021-03-30
申请公布号 CN108536445B 申请公布日 2021-03-30
分类号 G06F8/41(2018.01)I 分类 计算；推算；计数;
发明人 杨霞 申请（专利权）人 成都链安科技有限公司
代理机构 成都四合天行知识产权代理有限公司 代理人 王记明
地址 610000四川省成都市成华区二环路东二段508号7层714号房
法律状态 -

摘要

摘要 本发明公开了面向区块链智能合约的高度自动化形式化验证系统及方法，使用代码转换器工具可将区块链智能合约源代码，自动化的转换为形式化验证识别的语言中间层代码，供形式化验证输入使用；采用形式化方法，可对转换的源代码进行高度自动化的形式化安全验证，判断该智能合约的安全属性需求是否安全。本发明能够以较高程度的自动化，实现对区块链智能合约进行形式化安全验证，其中的使用自动代码转换器能够自动化生成形式化的待验证程序，自动化验算策略提高的验证效率，这些措施则可以极大的提高智能合约形式化验证的效率，减少人工参与度。