Echidna is a property-based fuzzer for Solidity that tries to violate invariants specified by the developer.

Running Echidna against a DeFi protocol's invariants before launch has become standard practice for security-focused teams.