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.