50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Verifikation - CS4030


Veranstaltungsart und -inhalt
Titel CS4030 Verifikation
Dozent Reischuk
Einordnung Master-Studiengang Informatik
Schwerpunktfach SW Systems Engineering (Wahlbereich)
empfohlenenes Fachsemester: 3
Kreditpunkte (ETCS): 4
Inhalte Semantik und Verifikation von Programmen
Qualifikationsziele
  • Kenntnisse über unterschiedliche semantische Ansätze
  • Vertrautheit mit Problemen der Modellierung und Spezifikation sowie deren technischer Werkzeuge
Voraussetzung CS 4020 Spezifikation und Modellierung
Empfohlene Literatur
  • H. Nielson, F. Nielson, Semantics with Applications, J. Wiley 1992
  • J. van Leeuwen, Handbook of Theoretical Computer Science, Vol. B: Formal Methods and Semantics, Elsevier 1990
  • G. Winskel, The Formal Semantics of Programmin Languages, MIT Press 1993
  • J. Monin, Understanding Formal Methods, Springer 2003
Materialien Unterlagen zu einzelnen Themen (Stand 9.3.2010)
Wiki Wiki zur Veranstaltung »Verifikation«

Vorlesung
Dozent Reischuk
Umfang 2 SWS
Termine Mo 09:00 – 12:00, Raum: ITCS Seminarraum 2021.

Übung
Assistent Elberfeld
Umfang 1 SWS
Termine integriert in die VL