TU Wien:Programm- und Systemverifikation VU (Weissenbacher)
- Programm- und Systemverifikation VU (Weissenbacher) (TU Wien, 3 Materialien)
- Programm- und Systemverifikation VU (diverse) (TU Wien, 37 Materialien)
Daten[Bearbeiten | Quelltext bearbeiten]
Vortragende | Thomas Hader• Adrian Rebola Pardo• Georg Weissenbacher |
---|---|
ECTS | 6,0 |
Alias | Program and System Verification (en) |
Letzte Abhaltung | 2024S |
Sprache | English |
Abkürzung | PSV |
Mattermost | programm-und-systemverifikation • Register • Mattermost-Infos |
Links | tiss:184741 |
Inhalt[Bearbeiten | Quelltext bearbeiten]
die Methoden und Tools um Programme zu testen bzw zu verifizieren. Außerdem bekannte Sicherheitslücken und deren Auswirkungen als Motivation
Ablauf[Bearbeiten | Quelltext bearbeiten]
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[Bearbeiten | Quelltext bearbeiten]
formale modellierung und theoretische informatik und logik sind ziemlich nützlich wegen der boolschen logik die doch ziemlich oft verwendet wird
Vortrag[Bearbeiten | Quelltext bearbeiten]
SS2021: Er hält den Vortrag auf Englisch, spricht aber sehr flüssig und verständlich und versucht das Publikum einzubinden.
Übungen[Bearbeiten | Quelltext bearbeiten]
Ü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[Bearbeiten | Quelltext bearbeiten]
Prüfung sehr ähnlich zu den Altprüfungen die er zur Verfügung stellt Und ähnlich zu Übungsbeispielen
Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]
noch offen
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
4h pro woche an Vorlesungen und +-5h für jedes Übungsblatt
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
Für die Übungsblätter sollte man aber die Vorlesung besuchen, er gibt immer wertvolle Tipps
Highlights / Lob[Bearbeiten | Quelltext bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen