Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2013
Lecture Notes
In this lecture we focused on LTL model checking using SPIN. Investigated consequences of different fairness assumptions and discussed briefly never claims and accept labels. Slides (full version) Slides (paper saving version) Examples
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools	W. Ahrendt , Sep 24, 2013