K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Kun Wang 0023, Jingyi Wang 0004, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun 0001, Peng Cheng 0007. K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng., 49(10):4796-4813, October 2023. [doi]

Abstract

Abstract is missing.