TU BRAUNSCHWEIG

Software Quality 2 (SQ2)

Software Quality 1 is not a necessary prerequisiste for this lecture!

Organisatorisches

Dozent:
Betreuer:

Modulnummer:
Veranstaltungsnummer:
Dr.-Ing. Thomas Thüm
Tobias Runge, M.Sc.

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

Dates

  • Lecture: Wednesday, 9:45 - 11:15
  • Tutorial: Tuesday, 9:45 - 11:15

Current Issues

  • First Lecture: 17.10.
  • First Tutorial: 23.10.

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
  • Construction of Programs Correct-by-Construction

Lecture documents

You will be able to download the lecture materials in Stud.IP.


  last changed 09.07.2018
TU_Icon_E_Mail_1_17x17_RGB pagetop