Yices 软件自动检查错误

Yices 是 SRI International 开发的先进 SMT 求解器。它能自动验证复杂的软件和硬件。该软件于 2006 年推出，通过将系统行为转化为数学公式来查找错误。它使用自动推理来确保可靠性。这一过程对关键应用至关重要，可防止造成数十亿美元损失的昂贵故障。