Formal Methods - Segédanyagok

Félév: 2018. tavasz
Title Egyedi szöveg
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
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