Software Engineering using Formal Methods - Lecture: Introduction to SPIN

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2011
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 Note: Try not to get confused with lecture and file numbers ;)

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	W. Ahrendt R. Bubel W. Mostowski , Sep 9, 2011