Turnus of offer:
each winter semester
Course of studies, specific field and terms:
- Bachelor Computer Science 2019 (optional subject), Canonical Specialization Web and Data Science, 5th semester
- Bachelor Computer Science 2019 (optional subject), major subject informatics, arbitrary semester
- Bachelor Computer Science 2019 (compulsory), Canonical Specialization SSE, 5th semester
- Bachelor Media Informatics 2020 (optional subject), computer science, 5th or 6th semester
- Bachelor Computer Science 2016 (optional subject), major subject informatics, arbitrary semester
- Bachelor Computer Science 2016 (compulsory), Canonical Specialization SSE, 5th semester
- Bachelor IT-Security 2016 (compulsory), IT-Security, 5th semester
Classes and lectures:
- Safe Software (exercise, 2 SWS)
- Safe Software (lecture, 4 SWS)
- 30 Hours exam preparation
- 120 Hours private studies
- 90 Hours in-classroom work
Contents of teaching:
- Measures for improving software safety
- Definition of central techniques such as static analysis, model checking, testing, runtime verification
- Techniques for program analysis
- Operation of model checkers
- Test procedures
- Verification at runtime
- Application of the techniques
- Theorem proving
- The students can describe and classify measures for the improvement of software safety.
- They can explain the principles of central verification techniques.
- They can compare various methods for software testing.
- They can motivate the use of various techniques for improving software safety.
- They can assess the effect of these techniques on the safety of certain software.
- They are familiar with common tools for the verification of software and they can familiarize themselves with new developments.
- Written or oral exam as announced by the examiner
Responsible for this module:
- A.R. Bradley, Z. Manna: The Calculus of Computation - Springer, 2007
- F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis - Springer 2010
- C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
- D. Peled: Software Reliability Methods - Springer, 2001
- English, except in case of only German-speaking participants
Prerequisites for attending the module:
Prerequisites for the exam:
- Successful completion of homework assignments during the semester
Letzte Änderung: 3.8.2021