teza: w miarę jak (intelektualny!) koszt formalnej weryfikacji oprogramowania stanie się tańszy w nadchodzących latach, zobaczymy rewolucję w oprogramowaniu, gdzie większość oprogramowania zostanie formalnie zweryfikowana
i tak, defi zdecydowanie potrzebuje formalnej weryfikacji!
3,66K