EECI 2012: Computer Session: Spin

From Murray Wiki

Revision as of 15:24, 25 April 2012 by Murray (talk | contribs) (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…')

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Return to Caltech/AFRL 2012 Main Page

Hands-on model checking exercises using SPIN.

Lecture Materials

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

Retrieved from "https://murray.cds.caltech.edu/index.php?title=EECI_2012:_Computer_Session:_Spin&oldid=13927"

Navigation menu