Courses



Elective Module 1: Programme Verification (7,5 ECTS-Credits, 5 h)
Prerequisites for registration: none
Learning Outcome: After completing this module, students can understand, create and correct the specifications of programmes. They have acquired the skill to prove specifications formally. They use a combination of interactive and automatic methods to combine expressive logic with efficient search for proof.
Go to the superordinate section
703083
VO Program Verification (VO / 3h / 4,5 ECTS-AP)
Thiemann René
Details of this course
703084
PS Program Verification (PS / 2h / 3 ECTS-AP)
Thiemann René
Details of this course

Notes:
  • There may still be changes in the courses offered as well as room allocation and course dates.
  • The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).