Prohlížení dle autora "Hořeňovský Martin"
-
Analýza výkonu řešiče systému generálního klíče a hlavních klíčů
Autor: Hořeňovský Martin; Vedoucí práce: Černoch Radomír; Oponent práce: Vyskočil Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-09)Tato práce popisuje existující řešič systémů generálního klíče vyvinutý na katedře počítačů, FEL, ČVUT, který je založený na problému SAT. Práce poskytuje přehled, jak se systém generálního klíče převádí na problém SAT, ... -
Využití symbolické exekuce pro testování real-time, bezpečnostně kritického softwaru
Autor: Hořeňovský Martin; Vedoucí práce: Sojka Michal; Oponent práce: Štěpán Petr
Tato práce zkoumá vhodnost nástroje symbolické exekuce KLEE pro verifikaci real-time bezpečnostně kritických systémů. Real-time bezpečnostně kritické systémy jsou ty, u kterých selhání může vést ke ztrátě lidských životů anebo ...