买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉成都链安科技有限公司申请的专利一种区块链智能合约混合形式化验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115310095B 。

龙图腾网通过国家知识产权局官网在2025-11-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210947911.X，技术领域涉及：G06F21/57；该发明授权一种区块链智能合约混合形式化验证方法及系统是由孙海泳设计研发完成，并于2022-08-08向国家知识产权局提交的专利申请。

本一种区块链智能合约混合形式化验证方法及系统在说明书摘要公布了：本发明公开了一种区块链智能合约混合形式化验证方法及系统，通过对智能合约依赖库以及智能合约源码模型进行插装编译，使智能合约依赖库以及智能合约源码模型具备了符号执行能力；相比传统源码级插装代码验证分析将受益于编译优化性能提升，节约了传统符号执行引擎解释执行时对符号表达式的处理时间；相比传统动态字节码或机器码插装，极大地降低了动态执行时对于不同测试输入而重复插装造成的系统性能损失，从而提高了执行效率。本发明通过生成新的测试用例，以快速测试不同的程序路径，提高复杂逻辑智能合约的代码缺陷检测精确度。本发明通过设置多种执行策略，当达到触发条件时，则执行对应的执行策略，从而提高验证效率。

本发明授权一种区块链智能合约混合形式化验证方法及系统在权利要求书中公布了：1.一种区块链智能合约混合形式化验证方法，其特征在于，包括： 获取区块链智能合约对应的功能规范文档、安全属性规范文档以及智能合约源代码； 将功能规范文档以及安全属性规范文档嵌入智能合约源代码中，获取智能合约源码模型； 获取智能合约源码模型所需要的智能合约依赖库，所述智能合约依赖库表示执行智能合约源码模型所需要的程序库或数据库； 将智能合约依赖库以及智能合约源码模型进行插装编译，得到依赖库码以及智能合约码，所述依赖库码以及智能合约码均为机器码或者字节码；将智能合约依赖库以及智能合约源码模型进行插装编译，得到依赖库码以及智能合约码，包括：将智能合约依赖库以及智能合约源码模型编译为机器码或者字节码，分别得到第一数据码以及第二数据码；确定第一数据码和或第二数据码中符号约束所在的目标位置，并在目标位置插入符号约束构建求解函数的调用函数，分别得到依赖库码以及智能合约码； 获取测试用例，所述测试用例用于表征执行智能合约码时的输入数据； 以依赖库码为支持，以测试用例为输入，执行智能合约码，获取漏洞验证结果； 根据所述漏洞验证结果，获取智能合约漏洞验证文档。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都链安科技有限公司，其通讯地址为：610000 四川省成都市中国(四川)自由贸易试验区成都高新区世纪城南路599号7栋5层505A、505B号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。