Reduction of Interrupt Handler Executions for Model Checking Embedded Software

by B. Schlich, T. Noll, J. Brauer, L. Brutschy
Reference:
Reduction of Interrupt Handler Executions for Model Checking Embedded Software (B. Schlich, T. Noll, J. Brauer, L. Brutschy), In Haifa Verification Conference (HVC 2009), Haifa, Israel, Springer, volume 6405, 2009.
Bibtex Entry:
@inproceedings { SNBB09,
	author = { Schlich, B. and Noll, T. and Brauer, J. and Brutschy, L. },
	title = { Reduction of Interrupt Handler Executions for Model Checking
		Embedded Software },
	booktitle = { Haifa Verification Conference (HVC 2009), Haifa, Israel },
	year = { 2009 },
	url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SNBB09.pdf },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	volume = { 6405 },
	pages = { 5--20 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.