Formal verification vs fuzzing: the showdown

Name: Formal verification vs fuzzing: the showdown
Duration: 20 min 28 s
Description: A comparison of formal verification and fuzzing examines bug detection, usability and performance. Examples focus on DeFi protocols and critical vulnerabilities.

ETHCC 7 · 11 Jul 2024 · 20:28

A comparison of formal verification and fuzzing examines bug detection, usability and performance. Examples focus on DeFi protocols and critical vulnerabilities.