Formale Spezifikation und Verifikation
- 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, Schellingstraße 3, S 007
- Übung (ab zweite Woche): Dienstag 12-14 oder 14-16, Geschwister-Scholl-Platz 1, M 001 einer der beiden Termine voraussichtlich virtuell
Zulip chat:
- Registrieren Sie sich bitte auf: https://chat.ifi.lmu.de
- Fragen und Diskussion: SoSy-21W-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 letzten Sommersemesters 2020, der Vorlesungsinhalt wird also im Wesentlichen der Gleiche sein. Wir behalten uns vor, einzelne Themen, Folien und/oder Aufzeichnungen anzupassen. Hier finden Sie die Aufzeichnungen vom SoSe 2020, die alten Folien finden Sie unter Material.
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
Literatur
- Edmund M. Clarke, Orna Grumberg, and Doron Peled: Model Checking. MIT Press, 2000.
- Gerard J. Holzmann: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
- Zohar Manna and Amir Pnueli: Temporal verification of reactive systems: Safety. Springer,1995.
- Flemming Nielson, Hanne Riis Nielson, and Chris Hankin: Principles of Program Analysis. Springer, 2004.
- Christel Baier and Joost-Pieter Katoen: Principles of Model Checking. MIT Press, 2008.
- Institut
- Institut für Informatik
- Dozent:in
- Assistent:in
- Tutor:innen
- Korrektor:in
- Kursteilnehmer:innen
- 469
- Anmeldung
Fr 01 Okt 2021 00:00
- 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 So 19 Dez 2021 00:00Di 15 Feb 2022 23:55Do 17 Feb 2022 10:00 – 12:00Nicht zur Prüfung angemeldetDo 24 Mär 2022 00:00Do 14 Apr 2022 00:00Fr 22 Apr 2022 00:00 – 00:00Nicht zur Prüfung angemeldet- Termine
Art Zeit Regulärer Raum Notiz VorlesungRaum wird nur Kurs-assoziierten Personen (Teilnehmer:innen, Tutor:innen, Korrektor:innen, etc.) angezeigtWird zusätzlich online gestreamt. Der Einladungslink wird vor Beginn der Veranstaltung bekannt gegeben.
- Tutorien
- 9 passende Einträge insgesamt
Art Bezeichnung Tutoren Regulärer Raum Zeit Anmeldungen ab Anmeldungen bis Abmeldungen bis Freie Plätze EinsichtEinsicht Hauptklausur 09:00Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:003EinsichtEinsicht Hauptklausur 09:30Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:006EinsichtEinsicht Hauptklausur 10:00Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:006EinsichtEinsicht Hauptklausur 10:30Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:003EinsichtEinsicht Hauptklausur 11:00Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:003EinsichtEinsicht Hauptklausur 11:30Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:004EinsichtEinsicht Hauptklausur 12:00Oettingenstr. 67, Raum 057Di 29 Mär 2022 00:00Do 07 Apr 2022 09:00Do 07 Apr 2022 09:000ÜbungÜbung 1Raum wird nur Teilnehmern angezeigtDi 19 Okt 2021 00:00Di 08 Feb 2022 00:00221ÜbungÜbung 2Raum wird nur Teilnehmern angezeigtDi 19 Okt 2021 00:00Di 08 Feb 2022 00:0089