Certora

Industry-leading smart contract audits & formal verification tools for DeFi protocols