Difference between revisions of "EECI 2012: Computer Session: Spin"

From Murray Wiki
Jump to navigationJump to search
 
Line 6: Line 6:
 
==  Lecture Materials ==
 
==  Lecture Materials ==
 
* [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/C1_spin-15May12.pdf Lecture slides]
 
* [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/C1_spin-15May12.pdf Lecture slides]
* Example promela files: [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/lights_simple.pml lights_simple.pml], [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/lights_distributed.pml lights_distributed.pml],  
+
* Example promela files: [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/lights_simple.pml lights_simple.pml], [http://www.cds.caltech.edu/~murray/courses/eeci-sp12/lights_distributed.pml lights_distributed.pml], [http://www.cds.caltech.edu/~utopcu/EECI2012/lights_synthesis.pml lights_synthesis.pml]
 
* [http://www.cds.caltech.edu/~utopcu/eeci2011/SPIN_cheat_sheet.pdf Sample SPIN commands]
 
* [http://www.cds.caltech.edu/~utopcu/eeci2011/SPIN_cheat_sheet.pdf Sample SPIN commands]
  

Latest revision as of 14:49, 15 May 2012

Prev: Model Checking Course home Next: Deductive Verification

Hands-on model checking exercises using SPIN.

Lecture Materials

Further Reading

Additional Materials