MS

Mooly Sagiv

CEO

Certora

New York, New York


Contact Information

Email
Unlock
LinkedIn

Company Information

Company
Certora
Industry
information technology & services
Employees
77.0
Seniority
C suite
Annual Revenue
3000000.0
Total Funding
36000000.0
Latest Funding
Series B

Technologies

Route 53 Amazon SES Gmail Google Apps Atlassian Cloud Mobile Friendly Nginx Remote AI

Keywords

smart contract blockchain formal verification software development smart contract audits security audits code security bug finding gambit mutation testing trustworthy tooling prover dashboard automated verification solidity defi security mathematical certainty code coverage vulnerability detection integrate into development community audits custom specifications risk mitigation ci pipeline rule writing audit contests certified auditors security services coding standards interactive audit process code review team collaboration security framework code correctness test suite evaluation mutable software testing solidity specifications software engineers easy integrations audit reporting incident response development support bug report sharing prime verification high coverage assurance dev pipeline integration development cycle analysis secure coding practices audit feedback formal specifications training documented procedures performance insights team engagement validation tools information technology & services

Get Full Contact Details

Subscribe to reveal email addresses and export contacts.

View Plans