Numa interação privada anterior com auditores, a propriedade de estado válida da minha Verificação Formal @CertoraInc capturou um CRIT na montagem de um protocolo de empréstimo complexo, que foi ignorado nas revisões manuais. Prova clara do valor da FV em complementar fuzzing e auditorias clássicas.