20-00-1115-vl Model Checking

Veranstaltungsdetails

Lehrende: Dr. rer. nat. Richard Bubel

Veranstaltungsart: Vorlesung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: MC

Fach:

Anrechenbar für:

Semesterwochenstunden: 2

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Digitale Lehre:
Der Kurs wird auf Englisch gehalten.
Die Kurswebseite ist: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1019

Lehrinhalte:


  • Temporallogiken - Lineare temporal Logik (LTL), Computation Tree Logic (CTL) und CTL*: Syntax, Semantik, Komplexität
  • Modelprüfungsverfahren für LTL, CTL, CTL*, insbesondere Büchiautomaten
  • Partial Order Reduction
  • Timed Automata

Voraussetzungen:
Kenntnisse in


  • Aussagenlogik
  • Deduktionssystemen
  • Automatentheorie

Zusätzliche Informationen:
Kurswebseite: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1019

Online-Angebote:
Kurswebseite: https://moodle.informatik.tu-darmstadt.de/course/view.php?id=1019

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mi, 14. Apr. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
2 Mi, 21. Apr. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
3 Mi, 28. Apr. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
4 Mi, 5. Mai 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
5 Mi, 12. Mai 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
6 Mi, 19. Mai 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
7 Mi, 26. Mai 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
8 Mi, 2. Jun. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
9 Mi, 9. Jun. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
10 Mi, 16. Jun. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
11 Mi, 23. Jun. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
12 Mi, 30. Jun. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
13 Mi, 7. Jul. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
14 Mi, 14. Jul. 2021 09:50 11:30 >Digitaler Veranstaltungstermin - Aufzeichnung (asynchron) Dr. rer. nat. Richard Bubel
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  •  
Lehrende
Dr. rer. nat. Richard Bubel