Software Quality 2

Organization

Lecturer: Dr.-Ing. Thomas Thüm
Assistant: Tobias Runge, M.Sc.

Module number: INF-SSE-38
Lecture number: 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.