Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2014
Lecture Notes: Introduction to SPIN
Topics
Verification with SPIN. We discussed:
Verifying explicit assertions (
assert
statements)
And a small bit of implicit assertions, i.e. (in)valid end states and associated deadlock
Material:
Slides:
Slides with overlays
Paper saving version
Examples from the lecture:
VerifyingWithSPIN_Examples.zip
Home
|
Course
|
Schedule
|
Exam
|
Exercises
|
Labs
|
Eval
|
Tools
W. Ahrendt
, Apr 29, 2015