研究人员开发了 ESBMC-PLC+，一个用于正式验证可编程逻辑控制器 (PLC) 程序的新框架。作为 PLCverif 的后继者，它通过支持梯形图 (LD) 和结构化文本 (ST) 编程语言以及图形化 PLCopen XML 来解决现有局限性。ESBMC-PLC+ 利用 ESBMC 后端进行无界安全证明，并在计时器密集型程序上展示了比现有工具（如 nuXmv）显著的速度提升。 AI
影响 通过改进 PLC 程序的正式验证能力，增强了工业控制系统的可靠性和安全性。
排序理由 该集群描述了一篇详细介绍用于 PLC 程序正式验证的新颖框架的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
