I ett tidigare privat engagemang med revisorer fångade min @CertoraInc formell verifiering giltig statlig egendom en CRIT i sammanställningen av ett komplext utlåningsprotokoll, som missades av manuella granskningar. Tydligt bevis på FV:s värde som komplement till fuzzing och klassiska revisioner.