Comparing SAT- and SMT- based bounded model checking for ECTL properties
2017 ◽
Vol 22
◽
pp. 161-175
2012 ◽
Vol 23
(7)
◽
pp. 1656-1668
◽
2005 ◽
Vol 119
(2)
◽
pp. 51-65
◽
Keyword(s):