Static Analysis of Lockless Microcontroller C Programs

by Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Reference:
Static Analysis of Lockless Microcontroller C Programs (Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski), In Proceedings Seventh Conference on Systems Software Verification (SSV 2012), EPTCS, 2012.
Bibtex Entry:
@inproceedings { BBK12c,
	location = { Sydney, Australia },
	author = { Beckschulze, Eva and Biallas, Sebastian and Kowalewski,
		Stefan },
	title = { Static Analysis of Lockless Microcontroller C Programs },
	booktitle = { Proceedings Seventh Conference on Systems Software
		Verification (SSV 2012) },
	series = { EPTCS },
	publisher = { EPTCS },
	publishedas = { Online },
	language = { eng },
	pages = { 103--114 },
	year = { 2012 },
	timestamp = { 2012.10.23 },
	i11key = { conference },
	url = { http://dx.doi.org/10.4204/EPTCS.102.10 },
	for_reporting_period = { 2013 },
}

Bookmark the permalink.