Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/system/kernel/people/paulmck/Validation/ |
|
Contents of README: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!