Prohlížení katedra kybernetiky dle předmětu "Weak specification"
Zobrazují se záznamy 1-1 z 1
-
Závislé typy a specifikace v teorii typů
; Vedoucí práce: Dostál Matěj; Oponent práce: 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 ...