Products & ServicesEvent: September 2, 2026
Certora launched AutoProver, a tool allowing developers to start from code and documentation without prior formal verification experience.
Published
Signal category
Products & Services
Quote
“With AutoProver, developers can start from the code and documentation they already have, without prior formal verification experience.”
— Certora team
Company
- Industry
- Software Development
- Location
- Tel Aviv, IL
- Company size
- 70 employees
Industry-leading formal verification tools & smart contract audits.
Founded 2018