Prohlížení dle autora "Marika Slouková"
-
Závislé typy a specifikace v teorii typů
Autor: Marika Slouková; 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 ...