I et tidligere privat engasjement med revisorer, fanget min @CertoraInc Formal Verification gyldig statlig eiendom en CRIT i monteringen av en kompleks utlånsprotokoll, savnet av manuelle gjennomganger. Tydelig bevis på FVs verdi i å komplementere fuzzing og klassiske revisjoner.