Challenges in Embedded Model Checking — A Simulator for the [mc]square Model Checker

by Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich
Reference:
Challenges in Embedded Model Checking — A Simulator for the [mc]square Model Checker (Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich), In Industrial Embedded Systems (SIES 2008), Le Grande Motte, France, IEEE Computer Society Press, 2008.
Bibtex Entry:
@inproceedings { RKHS08a,
	author = { Reinbacher, Thomas and Kramer, Michael and Horauer, Martin
		and Schlich,  Bastian },
	booktitle = { Industrial Embedded Systems (SIES 2008), Le Grande Motte,
		France },
	doi = { 10.1109/SIES.2008.4577709 },
	isbn = { 978-1-4244-1994-4 },
	pages = { 245--248 },
	publisher = { IEEE Computer Society Press },
	title = { Challenges in Embedded Model Checking --- A Simulator for
		the [mc]square  Model Checker },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.