Skip to content
Why fuzzing over formal verification?
blog.trailofbits.com | blog | #smart-contracts | #fuzzing | #blockchain | #formal-verification | #trail-of-bits | #invariants | #security-auditing | #symbolic-execution
Summary
Trail of Bits explains why it favors fuzzing over formal verification in most audits: proving bug absence is often unattainable, while fuzzing finds similar bugs with far less skill and time.
- Published
- Collected