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

Lecture Notes: First-Order Logic

In this lecture we
  • finished the theory of LTL model checking
  • introduced first-order logic (FOL) and
  • started presenting a sequent calculus for FOL to prove validity of formulas



Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Sep 28, 2017