TU Wien:Computer Aided Verification VU (Cerny)

Daten

Vortragende	Pavol Cerny
ECTS	3,0
Letzte Abhaltung	2024S
Sprache	English
Abkürzung	CAV
Mattermost	computer-aided-verification • Register • Mattermost-Infos
Links	tiss:181145

Zuordnungen

Masterstudium Logic and Computation	Modul Programming Languages and Verification (Gebundenes Wahlfach)
Masterstudium Software Engineering & Internet Computing	Modul Formale Methoden und Theoretische Informatik (Gebundenes Wahlfach)
Masterstudium Technische Informatik	Modul Computer-Aided Verification (Pflichtfach)

Inhalt

CTL, Kripke structures, Fixpoints, Mu-Calculus, Fairness Constraints, LTL, Model Checking LTL, CTL*, CDCL, Translaiton to CNF, bounded and unbounded Model Checking, Hoare.

Ablauf

Jeden Vorlesungstermin werden die Folien besprochen und hin und wieder ein paar Beispiele gemacht. Die Beispiele werden eine Woche vorher veröffenlticht und kann man vorab lösen um Probleme dann in der VO zu besprechen. Die Beispiele muss man nicht lösen jedoch helfen diese sehr beim Verständnis. Auch sind diese dann ähnlich zu den Prüfungsbeispielen.

Benötigte/Empfehlenswerte Vorkenntnisse

FMI hilft schon sehr, da meiner Meinung nach Prof. Pavol nicht immer ausreichend erklärt wie ein gewisses Konzept funktioniert.

Vortrag

Ich würde empfehlen in die Vorlesung zu gehen auch wenn der Vortrag eher moderat ist.

Übungen

Eine Übung war z.B. für zwei CTL formeln eine Kripke structure zu finden welche die erste Formel modelliert, die zweite jedoch nicht.

Prüfung, Benotung

Prof. Pavol ist bei der Benotung sehr nett.

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

vermutlich weniger als 3 ECTs vorallem wenn man FMI schon gemacht hat.

Unterlagen

noch offen

• Materialien

Tipps

noch offen

Highlights / Lob

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

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