EECI 2012: Computer Session: Spin

Prev: Model Checking

Course home

Next: Deductive Verification

Hands-on model checking exercises using SPIN.

Lecture Materials

• Lecture slides
• Example Promela files
• Sample SPIN commands

Further Reading and Additional Material

• SPIN web site

• The SPIN Model Checker: Primer and Reference Manual, G. J. Holzmann, Addison-Wesley Professional, 2003. A comprehensive reference on Spin model checker