ESBMC-LLB exposes function-block-hidden ladder logic bombs as safety violations, proves bomb-absence unboundedly, and synthesizes detonation triggers on public PLC benchmarks.
Castellanos, Martin Ochoa, Alvaro A
1 Pith paper cite this work, alongside 15 external citations. Polarity classification is still indexing.
1
Pith paper citing it
15
external citations · external index
fields
cs.CL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis
ESBMC-LLB exposes function-block-hidden ladder logic bombs as safety violations, proves bomb-absence unboundedly, and synthesizes detonation triggers on public PLC benchmarks.