sysidle.2013.09.26a.tgz

	C fragments along with scripts to apply a couple of formal
	verification tools.

sysidle.spin

	My Promela model.

sysidle.sh

	Script to run my Promela model.

sysidle-mathieu.2014.09.07a.tgz

	Mathieu's Promela model, including LTL statements and a script
	to run the model.