Browsing by Subject "Insertion sort"
Now showing items 1-1 of 1
-
Závislé typy a specifikace v teorii typů
; Supervisor: Dostál Matěj; Opponent: Horčík Rostislav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)Vývoj softwaru, který je nejen funkční, ale i formálně prokazatelně korektní, je klíčovou výzvou v informatice. V této bakalářská práce se zaměřujeme na formální dokazování korektnosti algoritmů pomocí důkazového asistenta ...