Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2014
Lecture Notes: Temporal Model Checking
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 3, 2014