The session will feature CEO Sagiv Mooly and focus on AutoProver, a formal verification system designed to read code, generate specifications and verify them.
Certora said it will host a live discussion at 11 a.m. ET on Thursday featuring CEO Sagiv Mooly. The session is set to cover the company’s latest release, AutoProver, which it describes as an agentic formal verification system that reads code, generates specifications and verifies them. Formal verification (mathematical code checking) is commonly used to test whether software behaves as intended, particularly in security-sensitive crypto applications.