Hledat
Zobrazují se záznamy 1-1 z 1
SAT s diferenciálními rovnicemi, SAT with differential equations
; Vedoucí práce: Ratschan Stefan; Oponent práce: 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 ...