Formale Spezifikation und Verifikation

Hinweis:

Die Vorlesung wird auf Englisch gehalten.

Model Checking CTL

(00:00:00) >: Computation Tree Logic

(00:08:41) >: Model Checking CTL

Recording from: 11.07.2012

Lecturer: Mirco Tribastone

Computation Tree Logic

Recording from: 04.07.2012

Lecturer: Mirco Tribastone

Downloads: lecture-08.pdf (pdf) 0.1 MB

Fixed point theory

Recording from: 27.06.2012

Lecturer: Mirco Tribastone

Hennessy-Milner Logic (HML)

Recording from: 13.06.2012

Lecturer: Mirco Tribastone

Bisimulation (proceeding) & Verification Exercise with CCS

Recording from: 06.06.2012

Lecturer: Mirco Tribastone

Bisimulation

(00:00:00) >: CCS

(00:23:29) >: Bisimulation

Recording from: 23.05.2012

Lecturer: Mirco Tribastone

CCS

(00:00:00) >: Process Algebras

(01:05:50) >: CCS

Recording from: 16.05.2012

Lecturer: Mirco Tribastone

Process algebra

(00:00:00) >: Structured Operational Semantics

(00:30:05) >: Process Algebras

Recording from: 09.05.2012

Lecturer: Mirco Tribastone

Downloads: syntax.pdf (pdf) 0.2 MB

Preliminaries (Labelled Transitions Systems, Structured Operational Semantics)

(00:00:00) >: Labelled Transitions Systems

(00:51:20) >: Structured Operational Semantics

Recording from: 02.05.2012

Lecturer: Mirco Tribastone

Downloads: 01-preliminaries.pdf (pdf) 0.1 MB

Course Overview

(00:00:00) >: Modelling and Verification

(00:32:41) >: Course Overview

(00:36:34) >: One-slide overviews

(00:47:06) >: Course Organisation

Recording from: 18.04.2012

Lecturer: Mirco Tribastone

Downloads: 00-mv.pdf (pdf) 0.7 MB

Website:

http://www.pst.ifi.lmu.de/Lehre/sose-2012/formale-spezifikation-und-verifikation

RSS-Feed abonnieren: