Formal verification vs fuzzing: the showdown

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