TU BRAUNSCHWEIG

Organisatorisches

Dozent:
Betreuer:

Modulnummer:
Veranstaltungsnummer:
Dr.-Ing. Thomas Thüm
Alexander Knüppel, M.Sc.

INF-SSE-38
INF-SSE-050 / INF-SSE-051

Dates

  • Lecture: Thursday, 11:30 - 13:00
  • Tutorial: Wednesday, 11:30 - 13:00

Current Issues

Times for the first lecture and tutorial will be announced shortly.

Content

Formal methods describe methods for system-design or system analysis and implementations techniques described by mathematical precision. The goal is to construct systems, which behave according to their specification with a high reliability. This course introduces, both theoretically and practically, the two most important types of formal methods for the analysis of programs: software model checking and deductive verification.

The course addresses the following topics:

  • Design by Contract with JML
  • Runtime Assertion Checking
  • Software Model Checking
  • First-Order and Dynamic Logic
  • Deductive Verification
  • Behavioral Subtyping
  • Analyses of Configurable Programs

Lecture documents

You will be able to download the lecture materials in Stud.IP. Please enroll yourself before two weeks after the first lecture.


  last changed 18.07.2017
TU_Icon_E_Mail_1_17x17_RGB pagetop