Zur Navigation springen

Formale Spezifikation und Verifikation

Hinweis: 

Die Vorlesung wird auf Englisch gehalten.

Achtung. Diese Aufzeichnung ist aus dem Semester: SoSe12

Videostream und Folien Model Checking CTL

  1. (00:00:00) >
    Computation Tree Logic
  2. (00:08:41) >
    Model Checking CTL
Aufzeichnung vom: 11.07.2012
Dozent: Mirco Tribastone

Videostream und Folien Computation Tree Logic

Aufzeichnung vom: 04.07.2012
Dozent: Mirco Tribastone
Download:
lecture-08.pdf (pdf), 0.1 MB

Videostream und Folien Fixed point theory

Aufzeichnung vom: 27.06.2012
Dozent: Mirco Tribastone

Videostream und Folien Hennessy-Milner Logic (HML)

Aufzeichnung vom: 13.06.2012
Dozent: Mirco Tribastone

Videostream und Folien Bisimulation (proceeding) & Verification Exercise with CCS

Aufzeichnung vom: 06.06.2012
Dozent: Mirco Tribastone

Videostream und Folien Bisimulation

  1. (00:00:00) >
    CCS
  2. (00:23:29) >
    Bisimulation
Aufzeichnung vom: 23.05.2012
Dozent: Mirco Tribastone

Videostream und Folien CCS

  1. (00:00:00) >
    Process Algebras
  2. (01:05:50) >
    CCS
Aufzeichnung vom: 16.05.2012
Dozent: Mirco Tribastone

Videostream und Folien Process algebra

  1. (00:00:00) >
    Structured Operational Semantics
  2. (00:30:05) >
    Process Algebras
Aufzeichnung vom: 09.05.2012
Dozent: Mirco Tribastone
Download:
syntax.pdf (pdf), 0.2 MB

Videostream und Folien Preliminaries (Labelled Transitions Systems, Structured Operational Semantics)

  1. (00:00:00) >
    Labelled Transitions Systems
  2. (00:51:20) >
    Structured Operational Semantics
Aufzeichnung vom: 02.05.2012
Dozent: Mirco Tribastone
Download:
01-preliminaries.pdf (pdf), 0.1 MB

Videostream und Folien Course Overview

  1. (00:00:00) >
    Modelling and Verification
  2. (00:32:41) >
    Course Overview
  3. (00:36:34) >
    One-slide overviews
  4. (00:47:06) >
    Course Organisation
Aufzeichnung vom: 18.04.2012
Dozent: Mirco Tribastone
Download:
00-mv.pdf (pdf), 0.7 MB
Website: http://www.pst.ifi.lmu.de/Lehre/sose-2012/formale-spezifikation-und-verifikation
RSS-Feed abonnieren: RSS-Feed abonieren

Die Unterrichtsmitschau und didaktische Forschung ist eine Einrichtung des Departments für Pädagogik und Rehabilitation der Ludwig Maximilians Universität München. Auf VideoOnline finden Sie ein Vorlesungsverzeichnis aller Vorlesungen und Veranstaltungen der LMU, die von uns aufgezeichnet werden. Loggen Sie sich über das LMU Portal ein, um Zugriff auf die Videos Ihrer Studienfächer zu bekommen.