Abstract: PLC programs play a major role in the operation of automated systems, controlling and monitoring various industrial processes. Formal verification methods, notably model checking, have been ...