Formale Spezifikation und Verifikation
- Aktuelles
- Beschreibung
Inhalt
Die Veranstaltung führt in grundlegende Methoden und Konzepte ein, die bei der Spezifikation und Verifikation von Systemen von Bedeutung sind. Es werden Spezifikationsformalismen, Konzepte der System-Modellierung und Grundtechniken für die Automatisierung der Verifikation behandelt. Neben der Vorlesung werden die besprochenen Inhalte im Übungsteil anhand von praktischen Anwendungen eingeübt.
Hörerkreis
Bachelor Informatik
Zeiten & Räume
- Vorlesung: Montags, 11-14 Uhr, M 010 Hauptgebäude
- Übung 1: Dienstag 12-14 Uhr, (Zoom Link)
- Übung 2: Dienstag 14-16 Uhr, Professor-Huber-Platz 02 (Lehrturm), V 002
Die Übungen beginnen in der 2ten Woche.
Klausurtermin (bestätigt): Mittwoch, 15. Februar 16-18 Uhr, M 218 und A 240 Hauptgebäude
Zulip chat:
- Registrieren Sie sich bitte auf: https://chat.ifi.lmu.de
- Fragen und Diskussion: SoSy-22W-FSV (-> “Streams hinzufügen”)
Organisatorisches
Wir planen die Lehre in Präsenz. Sie können aber auf jeden Fall rein virtuell teilnehmen. Als Vorlesungsgrundlage verwenden wir die Folien und Videoaufzeichnungen des Wintersemesters 2021/22, der Vorlesungsinhalt wird also im Wesentlichen der Gleiche sein. Wir behalten uns vor, einzelne Themen, Folien und/oder Aufzeichnungen anzupassen.
Es gibt wöchentliche Übungsblätter und mehrere kleinere Projekte (mit Bonuspunkten für die Klausur).
Gerne können Sie uns bei Fragen direkt kontaktieren.
Empfohlene Vorkenntnisse
- Logik und Diskrete Strukturen
- Formale Sprachen und Komplexität
- System- oder Softwareentwicklungspraktikum
- Institut
- Institut für Informatik
- Dozent:in
- Assistent:innen
- Korrektor:innen
- Kursteilnehmer:innen
- 459
- Anmeldung
Sa 01 Okt 2022 00:00 – Fr 31 Mär 2023 23:59
Abmeldung nur bis Fr 31 Mär 2023 23:59
- Material
Das Kursmaterial ist nur für Mitglieder des Kurses einsehbar, also z.B. für Teilnehmer:innen, Tutor:innen, Korrektor:innen und Verwalter:innen.
- Prüfungen
Name Anmeldung ab Anmeldung bis Termin Prüfungsanmeldung Fr 09 Dez 2022 18:00So 12 Feb 2023 23:55Mi 15 Feb 2023 16:00 – 18:00Nicht zur Prüfung angemeldetDo 16 Feb 2023 18:00Mo 03 Apr 2023 23:55Do 06 Apr 2023 10:00 – 12:00Nicht zur Prüfung angemeldet- Termine
Art Zeit Regulärer Raum Notiz VorlesungHauptgebäude, M 010Übung 1OnlineÜbung 2Professor-Huber-Platz 02, V002