Într-un angajament privat trecut cu auditorii, proprietatea mea de stat validă de verificare formală @CertoraInc a prins un CRIT în asamblarea unui protocol complex de creditare, ratat de revizuirile manuale. Dovada clară a valorii FV în completarea auditurilor fuzzing și clasice.