Software Engineering using Formal Methods - Lecture: Introduction to SPIN

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2012
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: Verification with SPIN Examples from the lecture: VerifyingWithSPIN_Examples.zip

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	W. Ahrendt J. Svenningsson M. Wang , Sep 11, 2012