TU Wien:Programm- und Systemverifikation VU (Weissenbacher)
- Programm- und Systemverifikation VU (Weissenbacher) (TU Wien, 3 Resources)
- Programm- und Systemverifikation VU (diverse) (TU Wien, 28 Resources)
Daten[edit | edit source]
| Lecturers | Georg Weissenbacher |
|---|---|
| ECTS | 6 |
| Alias | Program and System Verification (en) |
| When | summer semester |
| Last iteration | 2022SS |
| Language | English |
| Abbreviation | PSV |
| Mattermost | programm-und-systemverifikation • Register • Mattermost-Infos |
| Links | tiss:184741 |
| Bachelor Software & Information Engineering | Wahlmodul Programm- und Systemverifikation |
| Bachelor Technische Informatik | Pflichtmodul Programm- und Systemverifikation |
Inhalt[edit | edit source]
die Methoden und Tools um Programme zu testen bzw zu verifizieren. Außerdem bekannte Sicherheitslücken und deren Auswirkungen als Motivation
Ablauf[edit | edit source]
SS2021: Wöchentlich 2x ein Vortrag: er redet Englisch, das aber ziemlich gut, man versteht alles und es gibt 3 Übungsblätter
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
formale modellierung und theoretische informatik und logik sind ziemlich nützlich wegen der boolschen logik die doch ziemlich oft verwendet wird
Vortrag[edit | edit source]
SS2021: Er hält den Vortrag auf Englisch, spricht aber sehr flüssig und verständlich und versucht das Publikum einzubinden.
Übungen[edit | edit source]
Übungsblätter brauchen nicht so viel zeit wie die ECTs von diesem Fach vermuten würden. 3-5h pro Blatt kann man rechnen wenn man allein und sehr gemütlich arbeitet
Prüfung, Benotung[edit | edit source]
Prüfung sehr ähnlich zu den Altprüfungen die er zur Verfügung stellt Und ähnlich zu Übungsbeispielen
Dauer der Zeugnisausstellung[edit | edit source]
noch offen
Zeitaufwand[edit | edit source]
4h pro woche an Vorlesungen und +-5h für jedes Übungsblatt
Unterlagen[edit | edit source]
noch offen
Tipps[edit | edit source]
Für die Übungsblätter sollte man aber die Vorlesung besuchen, er gibt immer wertvolle Tipps
Verbesserungsvorschläge / Kritik[edit | edit source]
noch offen