Technical and embedded systems are nowadays often developed using tools such as
Simulink. Such tools
allow the development of models of the final system that can then be
simulated and automatically analyzed. The topic of the thesis is the
development of algorithms for the automatic testing, debugging, or
verification of such models.
