Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages

by Dominique Gückel
Reference:
Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages (Dominique Gückel), In Doctoral Symposium on Systems Software Verification (DS SSV 2009), 2009.
Bibtex Entry:
@inproceedings { Guec09,
	author = { G{"u}ckel, Dominique },
	title = { Retargeting a Hardware-Dependent Model Checker by Using
		Architecture Description Languages },
	booktitle = { Doctoral Symposium on Systems Software Verification (DS SSV
		2009) },
	issn = { 0935–3232 },
	year = { 2009 },
	series = { Aachener Informatik-Berichte },
	owner = { gueckel },
	timestamp = { 2009.06.02 },
	url = { http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2009/2009-14.pdf },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.