An efficient approach for abstraction-refinement in model checking
2012 ◽
Vol 461
◽
pp. 76-85
◽
Cong Tian
◽
Zhenhua Duan
◽
Nan Zhang
Andreas Podelski
◽
Andrey Rybalchenko
Steven J. Ramsay
◽
Robin P. Neatherway
◽
C.-H. Luke Ong
2005 ◽
Vol 7
(2)
◽
pp. 143-155
◽
Bing Li
◽
Chao Wang
◽
Fabio Somenzi
Baoluo Liu
◽
Hailong Pei
◽
Shengxiang Zhang
◽
Jiangqiang Li
2010 ◽
Vol 59
(1)
◽
pp. 116-126
◽
Fei He
◽
Xiaoyu Song
◽
William N. N. Hung
◽
Ming Gu
◽
Jiaguang Sun
2019 ◽
Vol 175
◽
pp. 37-62
◽
Nils Timm
◽
Stefan Gruner
Aleksandar S. Dimovski
◽
Andrzej Wąsowski
Anubhav Gupta
◽
Ofer Strichman
Nils Timm
◽
Stefan Gruner