Formal Methods - Segédanyagok

Félév: 2018. tavasz
Title Egyedi szöveg
Lecture 01: Course overview, introduction
Lecture 02: Temporal logics, LTL
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
Lecture 09: Petri nets: Dynamic Properties and Reductions

Slides with white background will not be in the exam.

Lecture 10: Petri nets: Structural Properties and Modeling

Slides with white background will not be in the exam.

Lecture 11: Colored Petri nets
MIDTERM EXAM 2: Examples
Syndicate content