Quelltext der Seite Komplexpraktikum „Modellierung und quantitative Systemanalyse I“

{{Vorlesungsreihe
|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
|Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Informationssystemtechnik (information systems engineering). The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:

* [https://www.perspicuous-computing.science/ CPEC]
* [https://ceti.one/ CeTI]
* [https://secai.org/de SECAI]
* [https://digitalhealth.tu-dresden.de/projects/semeco/ SEMECO]
* [http://5glab.de/ 5G-Lab Germany]

Potential topics include:
* Symbolic methods in model checking
* Explicit model checking
* Reduction techniques
* Automata over finite and infinite words
* Numerical methods for quantitative analysis
* Logics
* Specification formalisms
* Abstraction techniques
* Case studies
}}