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.