Formale Spezifikation und Verifikation

Video aufrufbar
18. Programmlogik

videoonline teaser image
  • (00:00:00) > 
    Präsentation
  • (00:01:37) > 
    Programmlogik
  • Aufzeichnung vom: 01.07.2015

    Video aufrufbar
    17. Vollständigkeit der Hoare-Logik

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung
  • Aufzeichnung vom: 29.06.2015

    Video aufrufbar
    14. Typ- und Effektsysteme

    videoonline teaser image
  • (00:00:00) > 
    Funktionale Sprache
  • (00:31:16) > 
    Typinferenz
  • Aufzeichnung vom: 17.06.2015

    Video aufrufbar
    13. Programmanalyse und Typsysteme.

    videoonline teaser image
    Aufzeichnung vom: 08.06.2015

    Video aufrufbar
    10. Symbolisches Model-Checking

    Aufzeichnung vom: 27.05.2015

    Video aufrufbar
    9. Alternating bit protocol

    Aufzeichnung vom: 18.05.2015

    Video aufrufbar
    8. Das System SMV

    Aufzeichnung vom: 13.05.2015

    Video aufrufbar
    7. Model-Checking-Algorithmen

    Aufzeichnung vom: 11.05.2015

    Video aufrufbar
    6. CTL, Model Checking

    Aufzeichnung vom: 29.04.2015
    Dozent(in): Ulrich Schöpp

    Video aufrufbar
    5. BDDs

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung
  • (00:04:05) > 
    Implementierung I
  • (00:12:33) > 
    Bibliothek BuDDy
  • (00:49:42) > 
    Semaphor mit BDDs
  • Aufzeichnung vom: 27.04.2015

    Video aufrufbar
    4. BDDs

    videoonline teaser image
  • (00:03:34) > 
    BDDs Grundidee
  • (00:50:58) > 
    Beispiel
  • Aufzeichnung vom: 22.04.2015
    RSS-Feed abonnieren: RSS-Feed abonnieren