Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2023
2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co. -
Veranstaltungstermine
- Monday: 14:15 - 15:45, weekly (10/04/23 - 10/07/23)
- Wednesday: 12:15 - 13:45, weekly (12/04/23 - 12/07/23)
Beschreibung
Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.
Lehrende
SWS
2