Story
arxiv_cs_cl · Jun 13, 2026 · paper
Source brief
ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
arxiv.orgJun 13, 2026
original source linked
In brief
PLCs execute safety-critical programs across industrial sectors. The dominant PLC notation, ladder diagram (LD) per IEC 61131-3, remains absent from formal verification: SMT-based model checkers cannot process LD's ru...
Feed lens
evaluation