Abstract Interpretation of Microcontroller Code: Intervals meet Congruences

by Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Bibtex Entry:
@article { BKK12,
	month = { July },
	doi = { 10.1016/j.scico.2012.06.001 },
	author = { Brauer, J{"o}rg and King, Andy and Kowalewski, Stefan },
	title = { Abstract {I}nterpretation of {M}icrocontroller {C}ode:
		{I}ntervals meet {C}ongruences },
	journal = { Science of Computer Programming },
	year = { 2012 },
	volume = { 77 },
	publisher = { Elsevier },
	publishedas = { Online Druck },
	issn = { 0167-6423 },
	i11key = { journal },
	language = { eng },
	url = { http://www.sciencedirect.com/science/article/pii/S0167642312001116" },
	note = { To appear },
	i11projectkey = { Arcade },
	timestamp = { 2012.09.06 },
	for_reporting_period = { 2012 },
}

Bookmark the permalink.