Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /os/Linux/system/kernel/people/paulmck/Validation/

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.

 Name                                    Last modified      Size  
 Parent Directory                                             -   
 sysidle/                                24-Jan-2015 22:43    -   
 README                                  29-Jan-2015 06:05  303   
 README.sign                             29-Jan-2015 06:05  543   
 sha256sums.asc                          29-Jan-2015 06:21  958   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!