LTL Model Checking of Self Modifying Code
2011 ◽
Vol 76
(2)
◽
pp. 136-157
◽
S. Edelkamp
◽
D. Sulewski
◽
J. Barnat
◽
L. Brim
◽
P. Šimeček
Javier Esparza
◽
Keijo Heljanko
Javier Esparza
◽
Keijo Heljanko
Petr Bauch
◽
Vojtěch Havel
◽
Jiří Barnat
Vince Molnár
◽
Dániel Darvas
◽
András Vörös
◽
Tamás Bartha
E. Clarke
◽
O. Grumberg
◽
K. Hamaguchi
Jiri Barnat
◽
Lubos Brim
◽
Jitka Stříbrná
Vincent Bloemen
◽
Jaco van de Pol
Kim Larsen
◽
Doron Peled
◽
Sean Sedwards