In einem früheren privaten Treffen mit Prüfern hat mein @CertoraInc Formal Verification gültiger Zustandseigenschaft einen CRIT in der Zusammenstellung eines komplexen Kreditprotokolls aufgezeigt, der von manuellen Überprüfungen übersehen wurde. Eindeutiger Beweis für den Wert von FV zur Ergänzung von Fuzzing und klassischen Audits.