Website
Curriculum

Modul CS4138-KP06, CS4138SJ14

Model Checking (ModelChe14)

Duration:


1 Semester
Turnus of offer:


each winter semester
Credit points:


6
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)
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:
Teachers:
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

Letzte Änderung:
5.8.2021