Formal Methods for Software Development
TDA294/DIT271, LP1, HT2020
Lecture Notes: Introduction to SPIN
Topics
Verification with SPIN. We discuss:
Verifying explicit assertions (
assert
statements)
And a small bit of implicit assertions, i.e. (in)valid end states and associated deadlock
Handouts
Slides:
Slides with overlays
Paper saving version
Examples from the lecture:
VerifyingWithSPIN_Examples.zip
W. Ahrendt
, Sep 4, 2020