本次活动将由首席执行官 Sagiv Mooly 出席，重点介绍 AutoProver——一套旨在读取代码、生成规范并进行验证的形式化验证系统。
Certora 表示，将于美国东部时间周四上午11点举行一场直播讨论，首席执行官 Sagiv Mooly 将出席。会议将介绍公司最新发布的 AutoProver，Certora 将其描述为一套具备代理能力的形式化验证系统，能够读取代码、生成规范并进行验证。形式化验证（通过数学方法检查代码）通常用于测试软件是否按预期运行，尤其常见于对安全性要求较高的加密货币应用。