Prohlížení katedry dle předmětu "ACSL"
Zobrazují se záznamy 1-1 z 1
-
(Téměř) ověřená implementace Dijkstrova algortimu
; Vedoucí práce: Knop Dušan; Oponent práce: 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ší ...