Formal Methods - Segédanyagok
| Title | Egyedi szöveg |
|---|---|
| Lecture 10: Petri nets: Dynamic properties | |
| Lecture 11: Petri nets: Structural properties and modeling |
Slides with white background are not part of the 2nd midterm exam. |
| Lecture 12: Colored Petri nets | |
| Lecture 13: Stochastic Petri nets | |
| MIDTERM EXAM 2: Examples |
Reductions are not part of the 2nd midterm exam this year. |
| 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. |
