Parallel and Distributed Invariant Checking of Microcontroller Software

by Jörg Brauer, Bastian Schlich, Stefan Kowalewski
Reference:
Parallel and Distributed Invariant Checking of Microcontroller Software (Jörg Brauer, Bastian Schlich, Stefan Kowalewski), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 254, 2009. (Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009))
Bibtex Entry:
@article { BSK09b,
	title = { Parallel and Distributed Invariant Checking of
		Microcontroller Software },
	journal = { Electronic Notes in Theoretical Computer Science },
	volume = { 254 },
	pages = { 45–63 },
	year = { 2009 },
	note = { Proceedings of the 4th International Workshop on Systems
		Software Verification (SSV 2009) },
	publisher = { Elsevier },
	issn = { 1571-0661 },
	author = { Brauer, J{"o}rg and Schlich, Bastian and Kowalewski, Stefan },
	url = { http://portal.acm.org/citation.cfm?id=1630177.1630457 },
	i11key = { conference },
	i11projectkey = { Arcade },
	for_reporting_period = { Old },
}

Bookmark the permalink.