Locations
Tel Aviv-Yafo, Israel · Center District, Israel · Ezor Tel Aviv, Israel
industry
Software
Size
51-200 employees
Stage
Series B
founded in
2018
Certora ensures correctness of smart contracts by applying modular formal verification.
Something looks off?On-site & Remote