Objectives:

  • Download and install SPIN
  • Run a few simple examples with SPIN

Problems

  1. (5 points) Download and install the SPIN model checker. See the Tools page for some suggestions. Submit a screen shot from the command spin -?
  2. (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