Modul CS4138-KP06, CS4138SJ14

Duration:

Turnus of offer:

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

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:

• Prof. Dr. Martin Leucker

Teachers:

• 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:

Prerequisites for attending the module:
- None

Prerequisites for the exam:
- Successful completion of homework assignments during the semester

Letzte Änderung: