Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski. Synthesizing simulators for model checking microcontroller binary code. In Elena Gramatová, Zdenek Kotásek, Andreas Steininger, Heinrich Theodor Vierhaus, Horst Zimmermann, editors, 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010. pages 313-316, IEEE, 2010. [doi]
Abstract is missing.