Certora
Israel
Establecida en 2018
1-10 empleados
Information & Communication Technology Services · Tel Aviv-Yafo
Sector / Industria
Information & Communication Technology Services
Descripción de la empresa
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 ...
Material promocional
Para visualizar este contenido
Iniciar sesión