50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Verification


Classification and Contents

Title CS4030 Verifikation
Lecturer Reischuk
Classification Master-Studiengang Informatik
Schwerpunktfach SW Systems Engineering (Wahlbereich)
empfohlenenes Fachsemester: 3
Kreditpunkte (ETCS): 4
Contents Qualification
  • Kenntnisse über unterschiedliche semantische Ansätze
  • Vertrautheit mit Problemen der Modellierung und Spezifikation sowie deren technischer Werkzeuge
Prerequisites CS 4020 Spezifikation und Modellierung
Recommended Books
Hours Unterlagen zu einzelnen Themen (Stand 9.3.2010)
Wiki Wiki of the course »Verifikation«

Lecture

Lecturer Reischuk
Credits 2 SWS
Hours Mon 10:00 – 12:00, ITCS seminar room 2021.

Exercises

Assistent Elberfeld
Credits 1 SWS
Hours