Při minulém soukromém jednání s auditory byl můj @CertoraInc Formální ověření platného státního majetku chycen CRIT při sestavování složitého úvěrového protokolu, který byl opomenut manuálními kontrolami. Jasný důkaz hodnoty FV při doplňování fuzzing a klasických auditů.