Ověřování dosažení cíle vestavěných systémů

V mnoha situacích je důležité, aby daný věstavěný systém časem dosáhl uřčitý cíl (např. cíl že vlak se po zapnutí brzd časem zastaví). Cílem této práce je návrh a implementace algoritmu pro ověřování takového chování systému.