-
公开(公告)号：CN119938486A
公开(公告)日：2025-05-06
申请号：CN202411976040.X
申请日：2024-12-30
Applicant: 杭州高新区(滨江)区块链与数据安全研究院 , 浙江大学
IPC: G06F11/3604 , G06F9/50
Abstract: 本申请适用于计算机程序验证技术领域，提供了程序的验证方法、装置、设备及计算机可读存储介质，方法包括：获取目标程序对应的待验公式；基于当前求解规则以及待验公式，确定第一类变量对应的多个候选取值；将每个候选取值分配至线程池中空闲的验证线程，线程池中包括多个验证线程，每个验证线程用于根据分配的候选取值验证逻辑表达式；获取每个验证线程对逻辑表达式的验证结果；在存在至少一个验证结果为验证失败的情况下，获取使逻辑表达式不成立的至少一个第二类变量的取值；基于每个第二类变量的取值，更新当前求解规则，以更新多个候选取值，直至存在至少一个验证结果为验证成功，基于目标候选取值验证目标程序，目标候选取值为更新后的多个候选取值中，对应验证结果为验证成功的候选取值。实现并行的公式验证从而提高程序的验证效率。
Search Results
1
records
(took 0.029 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
