(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
1,5 ECTS
M1 - Master 1. Jahr
Informatik
Martina Seidl
1 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Masterstudium Computer Science 2025W
Lernergebnisse
Kompetenzen
(*)See associated lecture.
Fertigkeiten
Kenntnisse
(*)See associated lecture.
(*)See associated lecture.
Beurteilungskriterien
(*)Exam plus practical projects (together with lecture).
Lehrmethoden
(*)Student projects.
Abhaltungssprache
Englisch
Literatur
(*)Slides.
Handbook of Model Checking, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem editors, Springer 2018.
Lehrinhalte wechselnd?
Nein
Sonstige Informationen
(*)This exercise course and the associated lecture form an inseparable didactic unit. The learning outcomes presented here are achieved through the close interaction of the two courses.
Äquivalenzen
(*)in collaboration with 921COENMCHV21: VL Model Checking (3 ECTS) equivalent to 921COENMCHK13: KV Model Checking (4.5 ECTS)
