Prohlížení dle předmětu "formální verifikace mikrokontrolérů"
Zobrazují se záznamy 1-1 z 1
-
Deadline Verification Using Model Checking
; 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í ...