Formal Methods for Software Development	TDA294/DIT271, LP1, HT2017
Lecture Notes: Temporal Model Checking
In this lecture, we discussed the abstract algorithm behind (SPIN style) model checking. Then, 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 15, 2017