Prohlížení Diplomové práce - 18103 dle autora "Ratschan Stefan"

Zobrazují se záznamy 1-3 z 3

    • Deadline Verification Using Model Checking 

      Autor: Jan Onderka; Vedoucí práce: Ratschan Stefan; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-12)
      V této práci je představena nová aplikace pro formální verifikaci splnění nejzazších termínů (deadlines) v jednoduchých programech pro mikrokontroléry, pracující na úrovni strojového kódu. V práci jsou studovány dosavadní ...

    • Inkrementální verifikace bezpečnosti na základě binárních rozhodovacích stromů 

      Autor: Hovorka Vojtěch; Vedoucí práce: Ratschan Stefan; Oponent práce: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16)

    • SAT s diferenciálními rovnicemi 

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