Abstract interpretation of microcontroller code: Intervals meet congruences

by Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Abstract interpretation of microcontroller code: Intervals meet congruences (Jörg Brauer, Andy King, Stefan Kowalewski), In Science of Computer Programming. Methods of Software Design: Techniques and Applications, Elsevier, volume 78, issue 7, 2013.
Bibtex Entry:
@article { BKK13,
	author = { Brauer, J{"o}rg and King, Andy and Kowalewski, Stefan },
	title = { Abstract interpretation of microcontroller code: Intervals
		meet congruences },
	journal = { Science of Computer Programming. Methods of Software Design:
		Techniques and Applications },
	year = { 2013 },
	volume = { 78, issue 7 },
	pages = { 862--883 },
	publisher = { Elsevier },
	publishedas = { Druck },
	issn = { 0167-6423 },
	i11key = { journal },
	language = { eng },
	timestamp = { 2013.07.08 },
	i11projectkey = { Arcade },
	for_reporting_period = { 2013 },
}

Bookmark the permalink.