Certora
Certora provides advanced security analysis tools for Smart Contracts, including a one-of-its-kind accessible and cost-efficient formal verification tool. Evil Martians helped them build a handy VS Code plugin for analyzing the verification results in the IDE.
- $40M+
- total funding
- Backed
- by Tiger Global Management