EECI 2013: Computer Session: Spin: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 March 2013

  • curprev 04:1504:15, 11 March 2013‎ Murray talk contribs‎ 1,176 bytes +1,176‎ Created page with "{{eeci-sp13 header|prev=Model Checking|next=Deductive Verification}} {{righttoc}} Hands-on model checking exercises using SPIN. == Lecture Materials == * [http://www.cds.ca..."
Retrieved from "https://murray.cds.caltech.edu/EECI_2013:_Computer_Session:_Spin"