Testing/Debugging/Verification of Simulink Models

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 automated testing, debugging, or verification of such models.