Formale Spezifikation und Verifikation

• Prüfungen
  • Hauptklausur (15.2. um 16-18 Uhr)
  • Nachholklausur (6.4. um 10-12 Uhr)

Aktuelles

• Klausurtermin

  Mittwoch, 15. Februar 16-18 Uhr, M 218 und A 240 Hauptgebäude

  Zuletzt verändert: Do 08 Dez 2022 10:00

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

• Gidon Ernst

Assistent:innen

• Daniel Edwin Baier
• Martin Spießl

Korrektor:innen

• Daniel Edwin Baier
• Luca Maio
• Robin Sögtrop

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
Hauptklausur (15.2. um 16-18 Uhr)	Fr 09 Dez 2022 18:00	So 12 Feb 2023 23:55	Mi 15 Feb 2023 16:00 – 18:00	Nicht zur Prüfung angemeldet
Nachholklausur (6.4. um 10-12 Uhr)	Do 16 Feb 2023 18:00	Mo 03 Apr 2023 23:55	Do 06 Apr 2023 10:00 – 12:00	Nicht zur Prüfung angemeldet

Termine

Art	Zeit	Regulärer Raum	Notiz
Vorlesung	Mo 11:15–13:45 Findet nicht statt: Mo 24 Okt 2022 11:15 Findet nicht statt: Mo 07 Nov 2022 11:15	Hauptgebäude, M 010
Übung 1	Di 12:00–14:00 Findet nicht statt: Di 01 Nov 2022 12:00	Online	Zoom Room
Übung 2	Di 14:00–16:00 Findet nicht statt: Di 01 Nov 2022 14:00	Professor-Huber-Platz 02, V002