TU Wien:Computer Aided Verification VU (Cerny)

Aus VoWi
Zur Navigation springen Zur Suche springen
Ähnlich benannte LVAs (Materialien):

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Pavol Cerny
ECTS 3,0
Letzte Abhaltung 2024S
Sprache English
Abkürzung CAV
Mattermost computer-aided-verificationRegisterMattermost-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[Bearbeiten | Quelltext bearbeiten]

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

Ablauf[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

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

Vortrag[Bearbeiten | Quelltext bearbeiten]

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

Übungen[Bearbeiten | Quelltext bearbeiten]

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[Bearbeiten | Quelltext bearbeiten]

Prof. Pavol ist bei der Benotung sehr nett.

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

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

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

noch offen

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

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