Program Verification Expert at Certora - Tel Aviv, N/A, il
Software Engineer
Contact Thomas Bernardi
Senior Product Manager
Contact Rita Martinho
Vendedor Certora
Contact Pedro Martins
Contact Vasu Gupta
Security Researcher
Contact Nicholas Armstrong
Contact Jeff Steger
Senior Product Designer
Contact Avi Adlin
Certora ensures correctness of Smart Contracts by applying modular formal verification.