Total raised
$43.2M
Last: Series B 2022-05
Stage
Series B
Founded
2018
Headcount
82
HQ
Tel Aviv-Yafo
Sector
Business Software
About
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.
Funding history · 1 round · $43.2M total
2022-05
Series B
$36.0M
Sectors & technology
Primary sector
Business Software
Sub-sectors
Business SoftwareOperations SolutionsLegal & Compliance SolutionsIT, R&D & Data SolutionsProduct Development ToolsSoftware Development Tools
Technologies
Artificial IntelligenceDeep LearningMachine LearningPlatforms & InterfacesWeb
Target customers
Enterprise & Professional ServicesSoftware DevelopmentEnterprises
Business model
B2B
Tags
testingblockchainsecuritysoftware-developmentqadevelopers