TU Wien:Programmanalyse VU (Zuleger)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten]

Vortragende Ilina Stoilkovska, Florian Zuleger
ECTS 3
Abteilung Forschungsbereich Formal Methods in Systems Engineering
Wann Wintersemester
Sprache English
Links tiss:184703
Zuordnungen
Master Logic and Computation Wahlmodul Programming Languages and Verification
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik
Master Technische Informatik Wahlmodul Computer-Aided Verification

Mattermost: Channel "programmanalyse" Team invite & account creation link Mattermost-Infos

Inhalt[Bearbeiten]

Verbände, Datenflussanalysen, Abstrakte Interpretation, Galoisverbindungen, Kontrollflussanalysen, ...

Ablauf[Bearbeiten]

Wöchentliche Termine. Vier mal gibt es statt der Vorlesung eine Übung (Aufgabenblatt, vor der Stunde kreuzen, an der Tafel rechnen). Am Ende des Semesters ist ein Vortrag über ein Paper zu halten; die Liste der möglichen Themen wird in den ersten paar Wochen bekanntgegeben.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

noch offen

Vortrag[Bearbeiten]

Wer Prof. Zuleger bereits im 4. Block von Formale Methoden gehört hat, weiß auch schon, worauf er/sie sich einlässt.

Übungen[Bearbeiten]

Klassische Tafelübung. Überwiegender Schwerpunkt liegt auf Theorie, Beweisen und dem Spezifizieren kleinerer Analysen. Wer sich etwas Praktischeres erhofft, wird enttäuscht werden.

Prüfung, Benotung[Bearbeiten]

Für eine positive Note müssen ein Vortrag gehalten sowie mindestens die Hälfte der Übungsaufgaben gekreuzt werden.

Dauer der Zeugnisausstellung[Bearbeiten]

noch offen

Zeitaufwand[Bearbeiten]

Da es die Übungsblätter in sich haben: jedenfalls höher als die angegeben 3 ECTS.

Unterlagen[Bearbeiten]

noch offen

Tipps[Bearbeiten]

Diese LVA ist eher nur etwas für Leute, die gerne ein ganzes Semester lang formale Beweise führen und Beispiele an der Tafel rechnen wollen.

Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.