Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code

Posted on February 14, 2016 by
by Thomas Noll, Bastian Schlich
Reference:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code (Thomas Noll, Bastian Schlich), In Hardware and Software: Verification and Testing (HVC 2007), Haifa, Israel, Springer, volume 4899, 2008.
Bibtex Entry:
@inproceedings { NS08,
	author = { Noll, Thomas and Schlich, Bastian },
	booktitle = { Hardware and Software: Verification and Testing (HVC 2007),
		Haifa,  Israel },
	doi = { 10.1007/978-3-540-77966-7_16 },
	isbn = { 978-3-540-77964-3 },
	issn = { 0302-9743 },
	pages = { 185--201 },
	publisher = { Springer },
	series = { Lecture Notes in Computer Science },
	title = { Delayed Nondeterminism in Model Checking Embedded Systems
		Assembly  Code },
	volume = { 4899 },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.