TU Wien:Computer Aided Verification LU (Veith)

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Daten

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Vortragende	Prof. Veith zuständig war aber in den letzten zwei Jahren Moritz Sinn
ECTS	3
Sprache	English

Zuordnungen

Masterstudium Logic and Computation
Masterstudium Technische Informatik

Inhalt

Im Tiss steht zwar: "Übungen mit Verifikationssoftware". In der Übung jedoch geht es (zumindest in den letzten Jahren) darum selber Teile von Verifikationstools zu implementieren. Die Übung findet nach dem Ende der CAV-VO statt. Die Beispiele wechseln jedes Jahr.

Ablauf

Gegen Ende des Sommersemesters werden die Beispiele bekannt gegeben. Man kann dann alleine oder in eine Gruppe von - ich glaube - bis zu drei Personen eine Aufgabe auswählen. Es gibt pro Aufgabe einen Pflichtteil und zusätzliche Nice to Have die dann die Note aufbessern. Man hat dann über den Sommer Zeit die Aufgabe zu implementieren.

Benötigte/Empfehlenswerte Vorkenntnisse

Gut ist es die Übung direkt im Anschluss an die gleichnamige VO zu machen. Sonst braucht man natürlich Programmierkenntnisse. Gut sind sicher C/C++ Kentnisse. Man kann die Aufgabe aber in jeder Sprache implementieren

Vortrag

keiner. Es werden nur kurz die Beispiele vorgestellt.

Prüfung, Benotung

Die Benotung ist fair.

Dauer der Zeugnisausstellung

Einen Tag nach Abgabe des Programms.

Zeitaufwand

Hängt sicher stark vom Verständniss des Stoffs ab. Für 3 Ects aber denke ich angemessen.

Unterlagen

noch offen

• Materialien

Tipps

Wie immer sucht euch jemanden mit dem ihr gut zusammen arbeiten könnt.

Verbesserungsvorschläge / Kritik

noch offen

Materialien

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