EECI 2012: Computer Session: Spin: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{eeci-sp12 header|prev=Model Checking|next= | {{eeci-sp12 header|prev=Model Checking|next=Deductive Verification}} | ||
{{righttoc}} | {{righttoc}} | ||
Revision as of 09:26, 14 May 2012
| Prev: Model Checking | Course home | Next: Deductive Verification |
Hands-on model checking exercises using SPIN.
Lecture Materials
Further Reading and Additional Material
The SPIN Model Checker: Primer and Reference Manual, G. J. Holzmann, Addison-Wesley Professional, 2003. A comprehensive reference on Spin model checker
