1. The call for invariant-driven development blog | 2025-02-12 14:30 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #defi
2. Why fuzzing over formal verification? blog | 2024-03-22 13:00 | blog.trailofbits.com | original ↗ | #smart-contracts | #fuzzing | #blockchain
3. Reusable properties for Ethereum contracts blog | 2023-02-27 13:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing
Skip to content