On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.

185.276 Analysis and Verification
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2012S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

By considering selected examples the students shall get an overview on classical and advanced approaches for program analysis and verification and their application fields. Central is to get a deepened understanding of the underlying principles and concepts and of the analogies between program analysis and program verification.

Subject of course

Selected topics on program verification and program analysis, e.g. intra- and interprocedural program analysis, analysis of parallel programs, exhaustive vs. demand-driven analysis, principles like soundness, completeness and optimality in analysis, verification and optimization.

Additional information

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.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue16:30 - 18:0006.03.2012 - 05.07.2012EI 3A Hörsaal KNOOP
Fri12:30 - 14:0011.05.2012Seminarraum Argentinierstrasse LVA 185.276 Analysis and Verification
Analysis and Verification - Single appointments
DayDateTimeLocationDescription
Tue06.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue13.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue20.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue27.03.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue17.04.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue24.04.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue01.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue08.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Fri11.05.201212:30 - 14:00Seminarraum Argentinierstrasse LVA 185.276 Analysis and Verification
Tue15.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue22.05.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue05.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue12.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue19.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Tue26.06.201216:30 - 18:00EI 3A Hörsaal KNOOP
Course is held blocked

Examination modalities

Grading assignments and oral examination. Further information on the evaluation and grading process is available at the homepage of the lecture course.

Course registration

Curricula

Study CodeObligationSemesterPrecon.Info
066 931 Computational Intelligence Mandatory elective
066 937 Software Engineering & Internet Computing Not specified

Literature

No lecture notes are available.

Previous knowledge

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.

Preceding courses

Accompanying courses

Continuative courses

Miscellaneous

Language

German