EECI 2012: Computer Session: Spin: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with '{{AFRL12 header|prev=Logic Synthesis |next=Control-Theoretic Tools}} {{righttoc}} Hands-on model checking exercises using SPIN. == Lecture Materials == * [http://www.cds.calte…') |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ | {{eeci-sp12 header|prev=Logic Synthesis |next=Control-Theoretic Tools}} | ||
{{righttoc}} | {{righttoc}} | ||
Revision as of 09:26, 14 May 2012
| Prev: Logic Synthesis | Course home | Next: Control-Theoretic Tools |
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
