Certora

Israel

Established in 2018

1-10 employees

Information & Communication Technology Services · Tel Aviv-Yafo

Sector / Industry

Information & Communication Technology Services

Company description

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 ...

Promotional material

To view this content