Browsing katedry by Subject "ověřená implementace"
Now showing items 1-1 of 1
-
(Téměř) ověřená implementace Dijkstrova algortimu
; Supervisor: Knop Dušan; Opponent: Jureček Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-15)Tato práce se zabývá využitím formální verifikace pro zajištění bezpečnosti a správnosti implementace Dijkstrova algoritmu. Text je strukturován na sedm kapitol, které seznámí čtenáře s teorií grafů, problémemnejkratší ...