Browsing České vysoké učení technické v Praze by Subject "minimum spanning tree"
Now showing items 1-1 of 1
-
Certifikované algoritmy pro hledání minimální kostry
; Supervisor: Knop Dušan; Opponent: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)Tato práce se zabývá úvodem do procesu deduktivní formální verifikace. Teoretická část práce seznámí čtenáře s frameworkem Frama-C pro modulární analýzu programů napsaných v jazyce C. Ten k verifikaci používá pluginy, ...