Module 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 fields and terms:
- Master Computer Science 2019, compulsory, Canonical Specialization SSE
- Master MES 2020, advanced module, computer science / electrical engineering
- Master Entrepreneurship in Digital Technologies 2020, advanced module, specific
- Master Computer Science 2019, optional subject, advanced module
- Master Computer Science 2014, compulsory, specialization field software systems engineering
- Master MES 2014, advanced module, computer science / electrical engineering
- Master Entrepreneurship in Digital Technologies 2014, advanced module, specific
- Master Computer Science 2014, advanced module, advanced curriculum
Classes and lectures:
- CS5220 T: Static Analysis (lecture with exercises, 4 SWS)
- CS4139 T: Runtime Verification and Testing (lecture with exercises, 4 SWS)
- CS4138 T: Model Checking (lecture with exercises, 4 SWS)
Workload:
- 210 hours private studies
- 30 hours exam preparation
- 120 hours in-classroom work
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:
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
Last Updated:
06.01.2025