SAT-Based Counterexample Guided Abstraction Refinement in Model Checking
2005 ◽
Vol 7
(2)
◽
pp. 143-155
◽
Keyword(s):
2012 ◽
Vol 461
◽
pp. 76-85
◽
2010 ◽
Vol 59
(1)
◽
pp. 116-126
◽
2019 ◽
Vol 175
◽
pp. 37-62
◽