Company intelligence
Certora
Software Development
Tel Aviv, IL
70 employees
Founded 2018
5 public signals
About Certora
Industry-leading formal verification tools & smart contract audits.
Verified activity
Signals from Certora
5 published signals
Research & Knowledge
Certora published a tutorial showing the full workflow for setting up a run, reviewing results and generated tests, and opening a PR directly to a repository.
Reported by Certora
People
Certora is hiring a Senior Software Engineer for Cloud and Data to help build and scale the systems behind its security platform.
Reported by Certora
Research & Knowledge
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.
Reported by Certora
Products & Services
Certora launched AutoProver, a tool allowing developers to start from code and documentation without prior formal verification experience.
Reported by Certora
Research & Knowledge
Certora tested fuzzing and formal verification on five versions of the same Soroban smart contract on Stellar using addition should be commutative as a simple property.
Reported by Certora