Specialising in "Software Modelling and Verfication" means to deepen ones knowledge in formal methods for the specification, semantics and verification of (software-)systems. Important topics are (probabilistic) modeling- and programming languages, their semantics and implementation, as well as techniques to prove the presence of desirable properties (or the absence of undesirable properties) of software models by means of model-checking. The chair for computer science 2 (I2) offers the following courses on a regular basis:
These lectures can be combined with other courses of I2. Additionally I2 offers seminars and practical courses on special topics.
Examiner for this specialisation area is Prof. Dr.Ir. Joost-Pieter Katoen.