Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cs-486:homework-0 [2017/01/10 23:54]
egm created
cs-486:homework-0 [2017/01/10 23:57] (current)
egm [Problems]
Line 5: Line 5:
 == Problems == == Problems ==
  
-# Download and install the [http://​spinroot.com SPIN model checker]. See the [[Tools]] page for some suggestions. Submit a screen shot from the command '''​spin -?'''​ +('''​5 points'''​) ​Download and install the [http://​spinroot.com SPIN model checker]. See the [[Tools]] page for some suggestions. Submit a screen shot from the command '''​spin -?'''​ 
-# Find and run a PROMELA file in both simulation and verification mode. Capture the output in a file and submit it for the answer to this problem.+('''​5 points'''​) ​Find and run a PROMELA file in both simulation and verification mode. Capture the output in a file and submit it for the answer to this problem.
cs-486/homework-0.txt · Last modified: 2017/01/10 23:57 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0