Browsing Diplomové práce - 18103 by Subject "SAT,SMT,SMT-LIB,numerical methods for ODEs,formalverification,embedded systems,hybrid systems model analysis"

Now showing items 1-1 of 1

    • SAT s diferenciálními rovnicemi 

      Author: Kolárik Tomáš; 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 ...