Prohlížení Bakalářské práce - 13133 dle autora "Hořeňovský Martin"
-
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 ...