back to search

Quantitative Verification

IN2340Cross-Cutting Elective Modules5 ECTSEnglishUnregelmäßigDepartment Computer Science
AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

You will learn how to formally model and analyze systems with quantitative aspects (e.g., time, probabilities). In the end you will be able to apply suitable model classes and specification languages, explain analysis algorithms and apply them to small examples practically, as well as use model checking tools.

What you will be able to do

  • Explain the role of quantitative modeling and analysis for hardware/software quality
  • Create formal models of probabilistic and temporal systems
  • Formulate formal specifications for safety, reliability and performance
  • Explain algorithms for verification of systems and apply them to small examples
  • Understand and explain techniques to improve the practical efficiency of analysis algorithms

What the module consists of

  • VorlesungProvision of the fundamentals; during lectures small tasks are solved online
  • Übung/TutorialDiscussion of the weekly tasks and deepening through examples

Teaching method

  • VorlesungIntroduction to theory and algorithms, online exercises during the event
  • Tutorial/ÜbungDiscussion and solution of the weekly tasks for consolidation
  • Tool-PräsentationPractical experience with model checking tools (e.g., PRISM, MRMC, UPPAAL)
No dates in the current semester
There are no course dates for this module this semester, or they haven't been matched yet.

Module ratings

No ratings for this module yet.

Rate this module

Only fill in the categories you can judge – for each one, either stars and text together or nothing at all.

Lecture
Tutorial
Exam

Reviews are automatically checked before they are published.

Official page in TUMonline · Details are not binding.