Formal Methods - Segédanyagok

Félév: 2020. 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

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

MIDTERM EXAM 1: Examples
Lecture 06: Statecharts
Lecture 07: Modeling examples
Lecture 08: Software model checking. Modelling example.
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: Hierarchical and Colored Petri nets
Lecture 13: Stochastic Petri nets
MIDTERM EXAM 2: Examples
Félév: 2019. 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

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
Syndicate content