Turnus of offer:
each winter semester
Course of studies, specific field and terms:
- Master MES 2020 (optional subject), computer science / electrical engineering, Arbitrary semester
- Master IT-Security 2019 (optional subject), IT Safety and Reliability, 1st, 2nd, or 3rd semester
- Master MES 2014 (optional subject), computer science / electrical engineering, Arbitrary semester
- Master Medical Informatics 2014 (optional subject), computer science, 1st or 2nd semester
- Master Computer Science 2014 (optional subject), specialization field IT security and safety, 1st or 2nd semester
Classes and lectures:
- Model Checking (exercise, 1 SWS)
- Model Checking (lecture, 3 SWS)
- 60 Hours in-classroom work
- 100 Hours private studies and exercises
- 20 Hours exam preparation
Contents of teaching:
- Quality aspects of software systems
- Analysis and verification techniques for software systems
- Basic techniques for model checking
- Advanced techniques for model checking
- The students can describe and compare analysis and verification techniques.
- They can construct, analyse and evaluate specifications of correctness and safety properties.
- They can characterize different system models and can formally represent sysstems in suitable models.
- They can illustrate different techniques for model checking hardware and software systems and can select and apply suitable techniques.
- They can explain the structure of model checkers and can use model checkers.
- They can evaluate the possibilities and limitations of model checking.
- Written or oral exam as announced by the examiner
Responsible for this module:
- C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
- English, except in case of only German-speaking participants
Prerequisites for attending the module:
Prerequisites for the exam:
- Successful completion of homework assignments during the semester
Letzte Änderung: 5.8.2021