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

by Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, and Peng Cheng

1. Requirements

K-framework version 5.1.11

Java 8.*

2. Compile K_ST

You can simply run

  kompile st.k

The complied K-ST can be downloaded through : https://pan.baidu.com/s/10b6vg22yOXCiwH9Fzhv1wQ?pwd=8y1w

3. Run ST program

You can simply run

krun XXXX.st

4. Detailed information

Please refer to "K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs"(https://ieeexplore.ieee.org/abstract/document/10251676)