Formale Spezifikation und Verifikation

Hinweis: 

Die Vorlesung wird auf Englisch gehalten.

Video aufrufbar
Model Checking CTL

videoonline teaser image
  • (00:00:00) > 
    Computation Tree Logic
  • (00:08:41) > 
    Model Checking CTL
  • Aufzeichnung vom: 11.07.2012
    Dozent(in): Mirco Tribastone

    Video aufrufbar
    Computation Tree Logic

    videoonline teaser image
    Aufzeichnung vom: 04.07.2012
    Dozent(in): Mirco Tribastone
    Downloads: lecture-08.pdf (pdf) 0.1 MB

    Video aufrufbar
    Fixed point theory

    videoonline teaser image
    Aufzeichnung vom: 27.06.2012
    Dozent(in): Mirco Tribastone

    Video aufrufbar
    Hennessy-Milner Logic (HML)

    videoonline teaser image
    Aufzeichnung vom: 13.06.2012
    Dozent(in): Mirco Tribastone

    Video aufrufbar
    Bisimulation

    videoonline teaser image
  • (00:00:00) > 
    CCS
  • (00:23:29) > 
    Bisimulation
  • Aufzeichnung vom: 23.05.2012
    Dozent(in): Mirco Tribastone

    Video aufrufbar
    CCS

    videoonline teaser image
  • (00:00:00) > 
    Process Algebras
  • (01:05:50) > 
    CCS
  • Aufzeichnung vom: 16.05.2012
    Dozent(in): Mirco Tribastone

    Video aufrufbar
    Process algebra

    Aufzeichnung vom: 09.05.2012
    Dozent(in): Mirco Tribastone
    Downloads: syntax.pdf (pdf) 0.2 MB

    Video aufrufbar
    Course Overview

    videoonline teaser image
  • (00:32:41) > 
    Course Overview
  • (00:36:34) > 
    One-slide overviews
  • (00:47:06) > 
    Course Organisation
  • Aufzeichnung vom: 18.04.2012
    Dozent(in): Mirco Tribastone
    Downloads: 00-mv.pdf (pdf) 0.7 MB
    RSS-Feed abonnieren: RSS-Feed abonnieren