Website
Modulhandbuch vor 2014

Modul CS4030

Semantik und Verifikation (vor 2014) (SemVeri)

Dauer:


1 Semester
Angebotsturnus:


Wird nicht mehr angeboten
Leistungspunkte:


4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik 2012 (Wahlpflicht), Schwerpunktfach Software Systems Engineering, 3. Fachsemester
Lehrveranstaltungen:
  • Semantik und Verifikation (Vorlesung, 2 SWS)
  • Semantik und Verifikation (Übung, 1 SWS)
Workload:
  • 45 Stunden Präsenzstudium
  • 60 Stunden Selbststudium und Aufgabenbearbeitung
  • 15 Stunden Prüfungsvorbereitung
Lehrinhalte:
  • Logische Kalküle
  • operationelle, denotationelle und axiomatische Semantiken
  • Verifikation in der Softwareentwicklung
  • Grundlagen der Verifikation imperativer Programme
  • Verifikation sequentieller Programme
  • Werkzeuge für Verifikation
Qualifikationsziele/Kompetenzen:
  • Verständnis für Semantik und ihre Bedeutung
  • Einsicht in die Notwendigkeit von Verifikation
  • Kenntnis der Verifikationsregeln für wichtige Klassen imperativer Programme
  • Fähigkeit, kleine imperative Programme manuell zu verifizieren
Vergabe von Leistungspunkten und Benotung durch:
  • Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
Modulverantwortlicher:
Lehrende:
Literatur:
  • K.R. Apt, E.-R. Olderog: Verification of Sequential and Concurrent Programs - Springer 1997
  • H. Nielson, F. Nielson: Semantics With Applications - A Formal Introduction - J. Wiley 1992
  • N. Francez: Program Verification - Addison Wesley 1992
  • J. Loeckx, K. Sieber: The Foundations of Program Verification - Teubner 1996
  • G. Winskel: The Formal Semantics of Programming Languages - MIT Press 1993
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Letzte Änderung:
17.7.2019

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF