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




W. Ahrendt, Oct 1, 2020