Module CS4138 T

Duration

1 Semester

Turnus of offer

each winter semester

Credit points

6

Course of studies, specific fields and terms:

• Master Computer Science 2019, module part, Module part
• Master MES 2020, module part, computer science / electrical engineering
• Master Entrepreneurship in Digital Technologies 2020, module part, Module part
• Master Entrepreneurship in Digital Technologies 2014, module part, Module part
• Master MES 2014, module part, computer science / electrical engineering
• Master Computer Science 2014, Module part of a compulsory module, Module part

Classes and lectures:

• Model Checking (exercise, 1 SWS)
• Model Checking (lecture, 3 SWS)

Workload:

• 20 hours exam preparation
• 100 hours private studies and exercises
• 60 hours in-classroom work

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:

• exam type depends on main module

Responsible for this module:

• Siehe Hauptmodul

Teacher:

• Institute of Software Technology and Programming Languages
• Prof. Dr. Martin Leucker

Literature:

• C. Baier, J.-P. Katoen : Principles of Model Checking MIT Press, 2008

Language:

• English, except in case of only German-speaking participants

Notes:

Last Updated:

27.11.2019