Masterpraktikum Software Verification



This training course offers you the opportunity to gain in-depth knowledge and hands-on experience in the context of software verification. Provided topics may focus on literature research, evaluation or implementation in the area of formal software verification and related fields. Students will be required to write a seminar work report and present their results at the end of the course. Prior topics were, for example:

For this course, existing knowledge of the course „Formal Specification and Verification 2“ (or similar) is strongly encouraged. Students with existing knowledge in software verification and programming will be preferred during the allocation process. If applicable, please provide information about your knowledge during the application in UniWorx.



Learning Material

Target Audience

MSc Computer Science.

Required Knowledge


Useful Links