标签
这篇文章询问 Hacker News 用户关于维护 DOS 机器以支持关键业务运营的经验，包括运行旧软件和控制工业设备。
本文提出ESBMC-LLB，一种通过综合触发器并使用ESBMC-PLC+作为验证引擎来检测IEC 61131-3 PLC程序中梯形逻辑炸弹的形式化验证方法，在公开数据集上实现了高检测率。