Formal Methods for Software Development
TDA294/DIT271, LP1, HT2020
Lecture Notes: Finish MC + Start FOL
In this lecture we
finish the theory of LTL model checking
introduce first-order logic (FOL)
Handouts
Slides (full version)
Slides (paper saving version)
Examples
W. Ahrendt
, Oct 1, 2020