Mooly Sagiv
CEO
Claimed by owner Certora
Former names:
Smart Contract Accuracy and Security Verification
Certora
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.
Primary Sector
Enterprise, IT & Data Infrastructure
Products
Certora Prover
Geographic markets
Global
The Team
(4)
MS
SG
Shelly Grossman
Co-founder & CTO
ND
Nurit Dor
VP of Products
ag
aviva gatt
HR Consultant
Connect with
What is the reason for connecting?
Your company *
Your position *
Add invitation message
0/300
Sending invitation...
Company Lifecycle
Private Equity Funding
B Round
$36M
May 2022
9 Investors
$36M
Others
Academic Techonology
Nov 2018
undefined
Static and dynamic analysis for verification of correct behavior in smart contracts and cloud applications
Media gallery
(0)Locations
Israel
Chaim Levanon Street 30, Tel Aviv-Yafo, Israel
Locations
Israel
Chaim Levanon Street 30, Tel Aviv-Yafo, Israel
Unlock financial data
Finder is provided for free by the non-profit organization Start-Up Nation Central.
- Get unlimited search results
- Save to custom lists - Smartlists
- Get notified with news and updates
- Connect with people
And much more...
I already have access,