Formal Methods - Segédanyagok

Félév: 2018. tavasz
Title Egyedi szöveg
Lecture 01: Course overview, introduction
Lecture 02: Temporal logics, LTL
Lecture 03: Temporal logics, CTL, CTL*

See this answer for a difference between CTL and LTL.

Lecture 04: Model checking

See this discussion for a difference between implies, entails and provable.

Lecture 05: Efficient techniques for model checking
Lecture 06: Statecharts
MIDTERM EXAM 1: Examples
Lecture 07: Modeling examples
Lecture 08: Software model checking
Lecture 09: Petri nets: Basic elements and extensions
Lecture 10: Petri nets: Dynamic properties
Lecture 11: Petri nets: Static properties and modeling

Slides with a white background are not part of the exam.

Lecture 12: Colored Petri nets
Lecutre 13: Stochastic Petri nets
MIDTERM EXAM 2: Examples

Reductions are not part of the exam this year.

Félév: 2017. tavasz
Title Egyedi szöveg
Lecture 01: Course overview, introduction
Lecture 02: Temporal logics, LTL
Lecture 03: Temporal logics, CTL, CTL*
Lecture 04: Model checking
Lecture 05: Efficient techniques for model checking
HOMEWORK: Modeling example
Lecture 06: Statecharts
MIDTERM EXAM 1: Examples
Lecture 07: Software model checking
Lecture 08: Petri nets: Basic elements and extensions
Syndicate content