Hledání chyb ve vestavěných systémech na základě verifikačního algoritmu

Důležitý způsob modelování vestavěných systémů je formalismus ''hybridní systém''. Chyby v designu vestavěných systémů se mohou najít pomocí těchto hybridních systémů. Cílem této práce je návrh algoritmu a softwaru pro hledání těchto chyb.