Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
1995 ◽
pp. 54-69
◽
Keyword(s):
2007 ◽
Vol 101
(1)
◽
pp. 46-51
◽
2007 ◽
pp. 153-168
◽
Keyword(s):
2013 ◽
Vol 24
(02)
◽
pp. 211-232
◽
Keyword(s):
2006 ◽
Vol 6
(3)
◽
pp. 265-300
◽
2006 ◽
Vol 30
(1)
◽
pp. 51-81
◽
Keyword(s):