Diplomová práce: Jak se (intelektuální!) náklady na formální ověřování softwaru v nadcházejících letech zlevní, uvidíme revoluci v softwaru, kdy většina softwaru bude formálně ověřena

A ano, DeFi rozhodně potřebuje formální ověření!