Formal Verification

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications

An agentic system that iteratively synthesizes and refines formal specifications, going beyond verifier acceptance to ensure genuine correctness and completeness.

Md Rakib Hossain Misu, Iris Ma, Cristina Videira Lopes