Index of /pub/linux/kernel.org/kernel/people/paulmck/Validation

Icon  Name                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                  -   
[TXT] README                                       2015-01-29 14:05  303   
[   ] README.sign                                  2015-01-29 14:05  543   
[   ] sha256sums.asc                               2023-04-26 06:12  958   
[DIR] sysidle/                                     2015-01-25 06:43    -   

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.