RecodeX 重构消息，形式化验证自动化公司Truth宣布完成7000万美元（约935亿韩元）种子轮融资，并正式结束保密运营阶段对外亮相。公司表示，将把人工智能与自研技术结合，用于缩短证明软件是否满足需求规格的流程。

本轮资金来自由AI安全与风险投资领域人士组成的投资方，未公布个人投资者信息及公司估值。形式化验证通常指先形式化地描述需求规格、对实现进行数学建模，再用逻辑规则证明实现满足规格，与常规软件测试思路不同。