Tijdens een eerdere privébijeenkomst met auditors, ontdekte mijn @CertoraInc Formele Verificatie geldige staatseigenschap een CRIT in de samenstelling van een complex leenprotocol, gemist door handmatige beoordelingen. Duidelijk bewijs van de waarde van FV in aanvulling op fuzzing en klassieke audits.