基准
SV-COMP
国际软件验证竞赛，提供标准化验证任务（如断言检查、可达性分析），用于评估软件验证工具的性能。
时间轴 (近 90 天)
10月28日
在32个SV-COMP任务上，原始验证器反馈将平均正确模型判定从12.7提升到22.0，但同时将错误判定从1个增加到7个。
待验证50%
10月28日
一个JBMC加JVM的验证基线在SV-COMP任务上返回了26个正确判定和6个未解决结果。
待验证50%
10月28日
JBMC与JVM结合的验证基线利用静态穷举能力与动态执行结果相互印证，在SV-COMP任务上获得更高的正确判定数和更少的未解决结果。
待验证50%