基于程序局部性引导的有界模型检测优化方法
王舜,杜晔,韩臻,刘吉强
Locality-guided based optimization method for bounded model checker
Shun WANG,Ye DU,Zhen HAN,Jiqiang LIU
通信学报 . 2018, (3): 181 -190 .  DOI: 10.11959/j.issn.1000-436x.2018050