KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.
Yanhong HuangXiangxing BuGang ZhuXin YeXiaoran ZhuJianqi ShiPublished in: IEEE Access (2019)
Keyphrases
- formal semantics
- formal language
- modeling language
- modelling language
- logical language
- logical reasoning
- er model
- structured data
- first order logic
- model checking
- operational semantics
- theorem prover
- control system
- interactive evolutionary computation
- speech acts
- machine learning
- ontology languages
- formal specification
- owl dl ontology
- smart grid
- database
- text mining
- relational databases
- natural language
- real world