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

龙图腾网获悉杭州高新区(滨江)区块链与数据安全研究院;浙江大学申请的专利程序的验证方法、装置、设备及计算机可读存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119938486B 。

龙图腾网通过国家知识产权局官网在2026-01-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411976040.X，技术领域涉及：G06F11/3604；该发明授权程序的验证方法、装置、设备及计算机可读存储介质是由姚培森;左涵睿;任奎设计研发完成，并于2024-12-30向国家知识产权局提交的专利申请。

本程序的验证方法、装置、设备及计算机可读存储介质在说明书摘要公布了：本申请适用于计算机程序验证技术领域，提供了程序的验证方法、装置、设备及计算机可读存储介质，方法包括：获取目标程序对应的待验公式；基于当前求解规则以及待验公式，确定第一类变量对应的多个候选取值；将每个候选取值分配至线程池中空闲的验证线程，线程池中包括多个验证线程，每个验证线程用于根据分配的候选取值验证逻辑表达式；获取每个验证线程对逻辑表达式的验证结果；在存在至少一个验证结果为验证失败的情况下，获取使逻辑表达式不成立的至少一个第二类变量的取值；基于每个第二类变量的取值，更新当前求解规则，以更新多个候选取值，直至存在至少一个验证结果为验证成功，基于目标候选取值验证目标程序，目标候选取值为更新后的多个候选取值中，对应验证结果为验证成功的候选取值。实现并行的公式验证从而提高程序的验证效率。

本发明授权程序的验证方法、装置、设备及计算机可读存储介质在权利要求书中公布了：1.一种程序的验证方法，其特征在于，包括： 获取目标程序对应的待验公式，所述待验公式中包括第一类变量、第二类变量以及逻辑表达式，所述逻辑表达式表示在所述第一类变量已知的情况下，所述第二类变量应当满足的条件，所述目标程序对应当前求解规则； 基于所述当前求解规则以及所述待验公式，确定所述第一类变量对应的多个候选取值； 将每个所述候选取值分配至线程池中空闲的验证线程，所述线程池中包括多个所述验证线程，每个所述验证线程用于根据分配的所述候选取值验证所述逻辑表达式； 获取每个所述验证线程对所述逻辑表达式的验证结果； 在存在至少一个所述验证结果为验证失败的情况下，获取使所述逻辑表达式不成立的至少一个所述第二类变量的取值； 基于每个所述第二类变量的取值，更新所述当前求解规则，以更新所述多个候选取值，直至存在至少一个所述验证结果为验证成功，基于目标候选取值验证所述目标程序，所述目标候选取值为更新后的所述多个候选取值中，对应所述验证结果为验证成功的所述候选取值。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人杭州高新区(滨江)区块链与数据安全研究院;浙江大学，其通讯地址为：310051 浙江省杭州市滨江区物联网孵化器大楼2号楼A楼4-7层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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