Integrace řešiče pro diferenciální rovnice do nástroje pro verifikaci systémů

Diferenciální rovnice představují možnost pro modelování okolí (např. robot, auto) vestavěných systémů. Tudíž používání výkonných řešičů pro diferencíální rovnice je důležité pro analýzu takových systémů. Úkolem této práce je integrace takového řešiče do nástroje pro verifikaci systémů.