Formal Methods for Software Development - Lecture: Linear Temporal Logic and Model Checking

Formal Methods for Software Development	TDA294/DIT271, LP1, HT2018
Lecture Notes: Linear Temporal Logic and Model Checking
The topics of today's lecture are: propositional logic linear temporal logic (LTL) Büchi automata Handouts: Slides: Slides with overlays Paper saving version (simultaneous overlays may look funny) Examples from the lecture: LinearTemporalLogicAndModelChecking_Examples.zip

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	W. Ahrendt, Sep 18, 2018