Formal Methods for Software Development | TDA294/DIT271, LP1, HT2020 |
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.
Handouts | |
W. Ahrendt, Sep 18, 2020 |