TU Wien:Programmanalyse VU (Zuleger)

From VoWi
Jump to navigation Jump to search

Daten

Lecturers Ilina Stoilkovska, Florian Zuleger
ECTS 3
Department Forschungsbereich Formal Methods in Systems Engineering
When winter semester
Language English
Links tiss:184703 , Mattermost-Channel
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"RegisterMattermost-Infos

Inhalt

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

Ablauf

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

noch offen

Vortrag

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

Übungen

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

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

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

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

Unterlagen

noch offen

Tipps

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

noch offen

Attachments

This page has no attachments yet but you can add some.