Safety Verification of IEC 61131-3 Structured Text Programs.
Jiawen XiongXiangxing BuYanhong HuangJianqi ShiWeigang HePublished in: IEEE Trans. Ind. Informatics (2021)
Keyphrases
- text mining
- hardware designs
- symbolic execution
- unstructured text
- data sets
- model checking
- computer programs
- text retrieval
- structured data
- information retrieval
- keywords
- communication networks
- natural language generation
- document collections
- text classification
- text documents
- knowledge base
- free text
- textual data
- traffic accidents
- machine learning
- real world
- neural network