实体
nuXmv
nuXmv
PulseAugur coverage of nuXmv — every cluster mentioning nuXmv across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的基准测试套件旨在对工业PLC程序进行形式化验证
研究人员开发了一个新的基准测试套件，用于形式化验证IEC 61131-3梯形图程序，解决了该领域缺乏标准评估工具的问题。该套件包含来自十个工业领域的50个程序，以图形化（梯形图）和文本化（结构化文本）两种格式呈现。一项关键贡献是建立了一个地面实况方法，以确保可靠的判断，这些判断通过构造、故障注入或审计的跨工具共识来确立。该语料库、模式、验证器和复查工具被作为开放工件发布，以促进可复现的进展度量。
-
新框架通过更广泛的语言支持增强 PLC 正式验证
研究人员开发了 ESBMC-PLC+，一个用于正式验证可编程逻辑控制器 (PLC) 程序的新框架。作为 PLCverif 的后继者，它通过支持梯形图 (LD) 和结构化文本 (ST) 编程语言以及图形化 PLCopen XML 来解决现有局限性。ESBMC-PLC+ 利用 ESBMC 后端进行无界安全证明，并在计时器密集型程序上展示了比现有工具（如 nuXmv）显著的速度提升。