Model Checking C Source Code for Embedded Systems

by Bastian Schlich, Stefan Kowalewski
Reference:
Model Checking C Source Code for Embedded Systems (Bastian Schlich, Stefan Kowalewski), In International Journal on Software Tools for Technology Transfer (STTT), Springer, volume 11, 2009.
Bibtex Entry:
@article { SK09,
	author = { Schlich, Bastian and Kowalewski, Stefan },
	doi = { 10.1007/s10009-009-0106-5 },
	issn = { 1433-2779 },
	journal = { International Journal on Software Tools for Technology
		Transfer (STTT) },
	number = { 3 },
	pages = { 187--202 },
	publisher = { Springer },
	read = { No },
	title = { Model Checking {C} Source Code for Embedded Systems },
	volume = { 11 },
	year = { 2009 },
	i11key = { journal },
	for_reporting_period = { Old },
}

Bookmark the permalink.