В ходе прошлой частной встречи с аудиторами моя @CertoraInc Формальная Проверка действительного состояния выявила CRIT в сборке сложного кредитного протокола, который был упущен в ходе ручных проверок. Ясное доказательство ценности FV в дополнении к фуззингу и классическим аудитам.