基于模块化Abstract-Refine算法框架的软件模型检测方法

王舜, 杜晔, 韩臻

Software Model Checking Method Based on Modular Abstract-Refine Algorithm Framework

WANG Shun, DU Ye, HAN Zhen

电子学报 . 2020, (5): 997 -1002 . DOI: 10.3969/j.issn.0372-2112.2020.05.022