Certora
Specializes in formal verification, using mathematical techniques to rigorously prove smart contract correctness and uncover hard-to-find bugs. Offers services for Avalanche C-Chain and EVM L1s, crucial for high-value financial protocols.
Links
Site: https://www.certora.com/
X: https://twitter.com/CertoraInc