Synthesizing Simulators for Model Checking Microcontroller Binary Code

by Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski
Reference:
Synthesizing Simulators for Model Checking Microcontroller Binary Code (Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski), In Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2010), IEEE, 2010.
Bibtex Entry:
@inproceedings { GSBK10,
	author = { G{"u}ckel, Dominique and Schlich, Bastian and Brauer,
		J{"o}rg and Kowalewski, Stefan },
	title = { Synthesizing Simulators for Model Checking Microcontroller
		Binary Code },
	booktitle = { Proceedings of the 13th IEEE International Symposium on
		Design and Diagnostics of Electronic Circuits and Systems
		(DDECS 2010) },
	year = { 2010 },
	publisher = { IEEE },
	pages = { 313--316 },
	owner = { gueckel },
	i11key = { conference },
	url = { http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5491761 },
	timestamp = { 2010.03.08 },
	i11projectkey = { Arcade },
	for_reporting_period = { 2010 },
}

Bookmark the permalink.