Browsing Diplomové práce - 18103 by Subject "SAT,SMT,SMT-LIB,numerické metody řešeni ODE,formálniverifikace,vestavné systémy,analýza modelů hybridnich systémů"
Now showing items 1-1 of 1
-
SAT s diferenciálními rovnicemi
; Supervisor: Ratschan Stefan; Opponent: Surynek Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)Na mnoho dnešnich systémů, např. vestavných, jsou kladeny vysoké nároky na splněni specifikaci, které často závisi na jevech z fyzikálniho okoli. Pro rozsáhlé systémy se osvědčuje použiti formálni verifikace jako nástroje ...