Certora
Comprehend complex financial systems written in Solidity code. Mathematically formalize interesting properties of DeFi and deploy Certora’s tool for automatic exact formal verification, analyze outputs of the tool to identify high severity vulnerabilities. Write public reports describing the verified properties.
0
0
0
Key Info
- 2018 Founded
- 43.20M Total Funding Raised
- Tel Aviv, ISR
- 76 Employees
- •••••••••
Credibility
LinkedIn Verified
News
There are no recent news for this organization.
Activity Timeline
- Raisedfrom$36.00M, and VMware.
May 17, 2022
- Raisedfrom .$7.20M
May 21, 2021
Team
Investments
Round | Amount Raised | Date | Investors |
|---|---|---|---|
Series B | Raised $36,000,000 | May 17, 2022 | |
Series A | Raised $7,200,000 | May 21, 2021 |
