TU Wien:Formale Methoden der Informatik UE (Kovacs)
- Formale Methoden der Informatik UE (Kovacs) (TU Wien, 1 Resource)
- Formale Methoden der Informatik VU (Egly) (TU Wien, 39 Resources)
Daten[edit]
| Lecturers | Stefan Woltran, Anela Lolic, Uwe Egly, Laura Kovacs, Pavol Cerny |
|---|---|
| ECTS | 3 |
| When | winter semester |
| Language | English |
| Abbreviation | FMI |
| Links | tiss:185A93 , Mattermost-Channel |
Mattermost: Channel "formale-methoden-der-informatik" • Register • Mattermost-Infos
Inhalt[edit]
Vertiefende Übungen zu den Themengebieten aus Formale Methoden der Informatik VU:
- Complexity theory
- Satisfiability problems
- Deductive Verification of Programs
- Formal verification based on model checking
Ablauf[edit]
Vorlesungen und 4 Übungsblätter, via TUWEL abzugeben. Keine Prüfung oder Abgabegespräch.
Benötigte/Empfehlenswerte Vorkenntnisse[edit]
Formale Methoden der Informatik VU sollte parallel besucht werden, oder man sollte zumindest Zugriff auf die Unterlagen haben.
Vortrag[edit]
Zu jedem Übungsblock gibt es einen Vortrag, in dem das Beispiel vorgestellt wird. Nach der Abgabe wird außerdem die Lösung besprochen.
Übungen[edit]
Die Übungen behandeln die Themen aus der gleichnamigen VU aus einer praktischen Perspektive.
- Übung 1 (Computability and Complexity): 4-colorability auf SAT reduzieren und in Java mit Hilfe Sat4j lösen.
- Übung 2 (Satisfiability Modulo Theories): Formeln (Aussagen) mit Z3 beweisen.
- Übung 3 (Deductive Verification): Programmbeweise mit Dafny.
- Übung 4 (Model Checking): Prozesse und Semaphoren simulieren.
Prüfung, Benotung[edit]
Keine Prüfung; Benotung basiert auf der Summe der Punkte auf die vier Übungen. Die Benotung und der Notenschlüssel sind recht human: 50%, 60%, 70% bzw. 80% ergeben 4, 3, 2 bzw. 1.
Dauer der Zeugnisausstellung[edit]
noch offen
Zeitaufwand[edit]
- WS 2019/20: Aufwand und Schwierigkeit schwankt zwischen den Aufgabenblättern. Die ersten drei benötigten in etwa 1-2 Tage, das vierte war in wenigen Stunden erledigt. In Summe wohl um die 50 Stunden.
Unterlagen[edit]
noch offen
Tipps[edit]
- Es werden Plagiatschecks durchgeführt. Plagiieren zahlt sich nicht aus.
- Die LVA kann entweder gemeinsam mit Formale Methoden der Informatik VU im Pflichtmodul Formal Methods in Computer Science oder mit min. 6 weiteren ECTS im Wahlmodul Formale Methoden und Theoretische Informatik verwendet werden, ist aber im Gegensatz zur gleichnamigen VU nicht verpflichtend.
Verbesserungsvorschläge / Kritik[edit]
noch offen