Website
Curriculum

Modul CS4507-KP12, CS4507

Software Verification (SoftVeri)

Duration:


2 Semester
Turnus of offer:


each year, can be started in winter or summer semester
Credit points:


12
Course of studies, specific field and terms:
  • Master Computer Science 2019 (compulsory), Canonical Specialization SSE, Arbitrary semester
  • Master MES 2020 (advanced module), computer science / electrical engineering, Arbitrary semester
  • Master Entrepreneurship in Digital Technologies 2020 (advanced module), technology field computer science, Arbitrary semester
  • Master Computer Science 2019 (optional subject), advanced module, Arbitrary semester
  • Master Computer Science 2014 (compulsory), specialization field software systems engineering, 1st and 2nd semester
  • Master MES 2014 (advanced module), computer science / electrical engineering, 1st and 2nd semester
  • Master Entrepreneurship in Digital Technologies 2014 (advanced module), technology field computer science, 2nd and 3rd semester
  • Master Computer Science 2014 (advanced module), advanced curriculum, 2nd and 3rd semester
Classes and lectures:
  • CS4139 T: Runtime Verification and Testing (lecture with exercises, 4 SWS)
  • CS5220 T: Static Analysis (lecture with exercises, 4 SWS)
  • CS4138 T: Model Checking (lecture with exercises, 4 SWS)
Workload:
  • 120 Hours in-classroom work
  • 30 Hours exam preparation
  • 210 Hours private studies
Contents of teaching:
  • see module parts
Qualification-goals/Competencies:
  • The students can relate different approaches to software verification.
  • For further competencies see module parts
Grading through:
  • Oral examination
Responsible for this module:
Teachers:
Literature:
  • : see module parts
Language:
  • German and English skills required
Notes:

(The module consists of CS4138 T, CS4139 T and CS5220 T)

2 of the 3 module parts must be chosen.


Prerequisites for attending the module:
- None

Prerequisites for the exam:
- depending on the module parts

Letzte Änderung:
5.8.2021