185.276 Analyse und Verifikation
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2012S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Die Teilnehmer sollen anhand ausgewählter Beispiele einen Überblick über klassische und fortgeschrittene Techniken zur Programmanalyse und -verifikation und ihre Anwendungsgebiete erhalten. Dabei steht im Vordergrund, einen vertieften Einblick in die zugrundeliegenden Prinzipien und Konzepte und in die Analogien zwischen Programmanalyse und Programmverifikation zu gewinnen.Die Teilnehmer sollen anhand ausgewählter Beispiele einen Überblick über klassische und fortgeschrittene Techniken zur Programmanalyse und -verifikation und ihre Anwendungsgebiete erhalten. Dabei steht im Vordergrund, einen vertieften Einblick in die zugrundeliegenden Prinzipien und Konzepte und in die Analogien zwischen Programmanalyse und Programmverifikation zu gewinnen.

Inhalt der Lehrveranstaltung

Ausgewählte Themen und Fragestellungen zur Verifikation und Analyse von Programmen, z.B. intra- und interprozedurale Programmanalyse, Analyse paralleler Programme, erschöpfende vs. anforderungsgetriebene Analyse, Konzepte wie Korrektheit, Vollständigkeit und Optimalität in Analyse, Verifikation und Optimierung.

Weitere Informationen

Am Mittwoch, den 07.03.2012, findet von 13 Uhr s.t. bis 14 Uhr im Hoersaal EI4 eine gemeinsame Vorbesprechung fuer alle am AB Programmiersprachen und Uebersetzer im SS 2012 angebotenen Lehrveranstaltungen statt.

Eine spezifische Vorbesprechung fuer die LVA Analyse und Verifikation findet zusammen mit der ersten Vorlesung am Di, den 20.03.2012, um 16:30 Uhr im Hoersaal EI3a statt.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.16:30 - 18:0006.03.2012 - 05.07.2012EI 3A Hörsaal KNOOP
Fr.12:30 - 14:0011.05.2012Seminarraum Argentinierstrasse LVA 185.276 Analyse und Verifikation
Analyse und Verifikation - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.06.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.13.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.20.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.27.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.17.04.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.24.04.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.01.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.08.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Fr.11.05.201212:30 - 14:00Seminarraum Argentinierstrasse LVA 185.276 Analyse und Verifikation
Di.15.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.22.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.05.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.12.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.19.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Di.26.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
LVA wird geblockt abgehalten

Leistungsnachweis

Beurteilung von Beispielen und mündliche Prüfung. Weitere Angaben zum Beurteilungs- und Prüfungsablauf finden sich auf der homepage der Lehrveranstaltung.

LVA-Anmeldung

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Die Vorlesung ergänzt die Lehrveranstaltungen 185.274 Weiterführender Übersetzerbau, 185.276 Analyse und Verifikation und 185.205 Semantik von Programmiersprachen. Sie empfiehlt sich deshalb inbesondere für Studierende, die im Bereich von Programmiersprachen und Übersetzerbau einen besonderen Schwerpunkt setzen, eine Seminararbeit, ein Praktikum oder ihre Diplomarbeit anfertigen möchten.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Weitere Informationen

Sprache

Deutsch