Modul CS4138 T

Duration:

Turnus of offer:

Course of studies, specific field and terms:

• Master Computer Science 2019 (module part), Module part, Arbitrary semester
• Master MES 2020 (module part), computer science / electrical engineering, Arbitrary semester
• Master Entrepreneurship in Digital Technologies 2020 (module part), Module part, Arbitrary semester
• Master Entrepreneurship in Digital Technologies 2014 (module part), Module part, Arbitrary semester
• Master MES 2014 (module part), computer science / electrical engineering, 1st semester
• Master Computer Science 2014 (Module part of a compulsory module), Module part, Arbitrary 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:

• exam type depends on main module

Responsible for this module:

• Siehe Hauptmodul

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:

(Is equal to CS4138SJ14)
(Part of Module CS4507)


Prerequisites for attending the module:
- None

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

Letzte Änderung: