Certora Overview
Certora provides accessible and cost-efficient formal verification of smart contracts. Certora's Automatic Exact Verification (AEV) technology complements existing smart-contract compilers and debuggers and checks that all executions of a smart contract fulfill a set of requirements. Blockchain independent and language agnostic, Certora's AEV technology precisely identifies or verifies the absence of bugs in smart contracts.
Cumulative Funding Raised Over Time ($)
Latest News
| Sector | Business Software |
Funding
| Total funding | $43.2M |
| Last funding | $36M |
| Stage | B |
| Rounds | 2 |
| Investors | 10 |
Team Members
4
Employees: 51-200
Web & Social Links
| Website | www.certora.com/ |
Locations
Chaim Levanon Street 30, Tel Aviv-Yafo, Israel
Photos & Videos
No files yet
Certora Business
Sector
Business SoftwareOperations SolutionsLegal & Compliance SolutionsIT, R&D & Data SolutionsProduct Development ToolsSoftware Development ToolsTarget Customer
Enterprise & Professional ServicesSoftware DevelopmentEnterprisesCore Technology
Artificial IntelligenceDeep LearningMachine LearningPlatforms & InterfacesWebTags (6)
testingblockchainsecuritysoftware-developmentqadevelopersGeographic Markets
GlobalCertora Financials
Cumulative Funding Raised Over Time ($)
Private Equity Funding
Certora Lifecycle
Cumulative Funding Raised Over Time
All Events
Certora News
1 articleCertora Team
Employee Info
| Employees (range) | 51-200 |
| Exact count | 82 |
| Team members | 4 |
Similar Companies
Similar companies data is computed dynamically and not stored in the entity profile. This section requires implementing a similarity query (e.g. by classification overlap, sector, district).
This entity has 18 classification IDs that could be used for matching.
Certora Internal
Recent Updates
No update log entries.
Note: Free-text notes visible in the original Finder "Internal" tab are not present in the imported profile data. Only the update audit log is available.
Admin Info
| Confidence | 90/100 |
| Missing | not claimed, video or image |
| BI Verification | Vered Waxman |
| Registrar ID | 515928505 |
| Crunchbase | certora |
| Creator | Jenny Sotnik-Talisman |
| Creator email | genys30@yahoo.com |
| Last updater | Ortal Wein |
| Updater email | ortalst26@gmail.com |
| Last update | 2022-06-01T00:00:00.000Z |
| Created | 2019-03-23T00:00:00.000Z |