PulseAugur
中
实时 13:07:14
实体 OpenPLC Editor

OpenPLC Editor

PulseAugur coverage of OpenPLC Editor — every cluster mentioning OpenPLC Editor across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_93523 ·

    新工具可对工业PLC梯形图程序进行形式化验证

    研究人员开发了ESBMC-PLC和Graph-ESBMC-PLC，这是用于形式化验证以IEC 61131-3梯形图（LD）格式编写的工业控制程序的新工具。这些工具将图形化LD程序转换为可由基于SMT的模型检查器处理的中间表示，填补了现有验证方法的空白。该系统已在各种基准测试中进行了评估，证明了它们在高效时间范围内正确分类程序、发现错误和提供证明的能力。