У минулому приватному спілкуванні з аудиторами моя @CertoraInc Formal Verification дійсна державна власність була спіймана на CRIT при складанні складного протоколу кредитування, який був пропущений ручними перевірками. Яскравий доказ цінності FV в доповненні фаззінгу та класичних аудитів.