20:02
2026-08-13
app.certora.com
ai-agents
AutoProver: AI agents and formal methods for intent, specs, bugs analysis
AutoProver, a new tool from Certora, uses AI agents and formal methods to automatically infer intent from code, generate specifications, and prove the absence of bugs, turning plain-language documenta…