Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution.

Mengyan Zhao, Yanhong Huang, Jianqi Shi, Yinghao Chen, Yang Yang

Browse the full SMC paper archive.