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:



Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Sep 3, 2014