CEO at Certora - Tel Aviv, N/A, il
Security Researcher
Contact Lior Oppenheim
Software Engineer
Contact Uri Kirstein
Program Verification Expert
Contact Alexander Nutz
Contact Thomas Bernardi
Senior Product Manager
Contact Rita Martinho
Vendedor Certora
Contact Pedro Martins
Contact Vasu Gupta
Certora ensures correctness of Smart Contracts by applying modular formal verification.