Synthesizing simulators for model checking microcontroller binary code.

Dominique Gckel, Bastian Schlich, Jrg Brauer, Stefan Kowalewski

Browse the full DDECS paper archive.