Certora

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