SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study
M Larisch
◽
U Siebold
◽
I Hä ring
2009 ◽
Vol 19
(2)
◽
pp. 155-172
◽
Hendrik Post
◽
Carsten Sinz
◽
Wolfgang Küchlin
S. Chandra
◽
P. Godefroid
◽
C. Palm
2016 ◽
Vol 51
(8)
◽
pp. 1-2
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
2008 ◽
Vol 43
(10)
◽
pp. 493-504
◽
Michael Roberson
◽
Melanie Harries
◽
Paul T. Darga
◽
Chandrasekhar Boyapati
Min Young Nam
◽
Sagar Chaki
◽
Lui Sha
◽
Cheolgi Kim
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
2015 ◽
Vol 5
(2)
◽
pp. 373-402
◽
Nazim Sebih
◽
Masami Hagiya
◽
Franz Weitl
◽
Mitsuharu Yamamoto
◽
Cyrille Artho
◽
...
2006 ◽
Vol 157
(1)
◽
pp. 77-94
Murray Stokely
◽
Sagar Chaki
◽
Joël Ouaknine