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 2013Murray 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 == * ["