Testování/ladění/verifikace Simulink modelů

Technické a vestavěný systémy se dnes často vyvíjí pomocí nástrojů jako např. Simulink. Takové nástroje dovolují vývoj modelů konečného systému, jejich simulaci a automatickou analýzu. Budete vyvíjet algoritmy pro automatické testování, ladění čí verifikace takovýchto modelů.