Formal Methods for Software Development TDA294/DIT271, LP1, HT2020

Lecture Notes: Linear Temporal Logic and Model Checking

The topics of today's lecture are:
  • propositional logic
  • linear temporal logic (LTL)
  • Büchi automata
  • Büchi automata and relation to LTL

Handouts




W. Ahrendt, Sep 15, 2020