Browsing Bakalářské práce - 18106 by Subject "shortest path problem"
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ší ...