En un compromiso privado anterior con auditores, mi @CertoraInc Verificación Formal de propiedad estatal válida atrapó a un CRIT en el ensamblaje de un protocolo de préstamo complejo, pasado por alto por las revisiones manuales. Prueba clara del valor de FV para complementar el fuzzing y las auditorías clásicas.