乔斯琳·西蒙兹 杰西卡·戴维斯0001 阿里·古芬克尔 玛莎·契契克 利用分辨率证明加快BMC的LTL真空度检测。 319-335 2010 12 国际期刊软件。技术工具。Transf公司。 5 https://doi.org/10.1007/s10009-009-0134-1 db/journals/sttt/sttt12.html#SimmondsDGC10