Ethereum smart contract fuzzer
Why do you think that https://github.com/OpenZeppelin/openzeppelin-solidity is a good alternative to echidna
Ethereum smart contract fuzzer
Why do you think that https://github.com/OpenZeppelin/openzeppelin-solidity is a good alternative to echidna