Module CS4138-KP06, CS4138SJ14
Model Checking (ModelChe14)
Duration
1 Semester
Turnus of offer
each winter semester
Credit points
6
Course of studies, specific fields and terms:
- Master MES 2020, optional subject, computer science / electrical engineering
- Master IT-Security 2019, optional subject, IT Safety and Reliability
- Master MES 2014, optional subject, computer science / electrical engineering
- Master Medical Informatics 2014, optional subject, computer science
- Master Computer Science 2014, optional subject, specialization field IT security and safety
Classes and lectures:
- Model Checking (exercise, 1 SWS)
- Model Checking (lecture, 3 SWS)
Workload:
- 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
Qualification-goals/Competencies:
- 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.
Grading through:
- Written or oral exam as announced by the examiner
Responsible for this module:
Literature:
- C. Baier, J.-P. Katoen : Principles of Model Checking MIT Press, 2008
Language:
- English, except in case of only German-speaking participants
Notes:
Prerequisites for attending the module:- None
Prerequisites for the exam:
- Successful completion of homework assignments during the semester
Last Updated:
05.08.2021