实体
SV-COMP
SV-COMP
PulseAugur coverage of SV-COMP — every cluster mentioning SV-COMP across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的基准测试套件旨在对工业PLC程序进行形式化验证
研究人员开发了一个新的基准测试套件，用于形式化验证IEC 61131-3梯形图程序，解决了该领域缺乏标准评估工具的问题。该套件包含来自十个工业领域的50个程序，以图形化（梯形图）和文本化（结构化文本）两种格式呈现。一项关键贡献是建立了一个地面实况方法，以确保可靠的判断，这些判断通过构造、故障注入或审计的跨工具共识来确立。该语料库、模式、验证器和复查工具被作为开放工件发布，以促进可复现的进展度量。
-
LLM在程序验证研究中展现潜力 · 跟踪2个来源
两篇新研究论文探讨了大型语言模型（LLM）在程序验证中的应用。第一篇论文研究了LLM内部表征在判断代码正确性方面的鲁棒性，发现从模型内部提取的信号可以在不执行测试的情况下评估候选解决方案，尽管没有一种单一配置被证明是最优的。第二篇论文介绍了Quokka，一个通过合成循环不变式来加速程序验证的框架，证明了Quokka在源自SV-COMP的基准测试上，其性能始终优于先前的基于LLM的验证器。