Formal verification vs fuzzing: the showdown

Sun, Jul 14, 2024, 12:43 PM · 20:28

A study comparing formal verification, which exhaustively checks invariants, to fuzzing, an efficient technique to detect vulnerabilities. We evaluate bug detection, usability and performance, focusing on recent Defi protocols and critical bugs found