Echidna

Echidna is a fuzzing and property-based testing tool for Ethereum smart contracts.

Rather than simply hunting for crashes, it aims to falsify user-defined invariants (properties) to reveal logical defects.

The toolset allows writing custom analyses for evaluating complex contracts and systematically exploring their state transitions.