esbmc

本文提出ESBMC-LLB，一种通过综合触发器并使用ESBMC-PLC+作为验证引擎来检测IEC 61131-3 PLC程序中梯形逻辑炸弹的形式化验证方法，在公开数据集上实现了高检测率。