Formal Methods - Segédanyagok

Félév: 2019. tavasz
Cím 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

An online tool for building and visualizing ROBDDs: http://formal.cs.utah.edu:8080/pbl/BDD.php

MIDTERM EXAM 1: Examples
Lecture 06: Statecharts and practice
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: 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.

Félév: 2018. tavasz
Cím 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
Tartalom átvétel