Research & KnowledgeEvent: September 3, 2026
Certora is working on applying formal verification to agentic tooling to provide strict guarantees about its behavior before an LLM ever gets to run code on sensitive infrastructure.
Published
Signal category
Research & Knowledge
Quote
“At Certora, we’re working on exactly this problem: applying formal verification to agentic tooling to provide strict guarantees about its behavior before an LLM ever gets to run code on sensitive infrastructure.”
— Certora team
Company
- Industry
- Software Development
- Location
- Tel Aviv, IL
- Company size
- 70 employees
Industry-leading formal verification tools & smart contract audits.
Founded 2018