PLC Program Translation for Verification Purposes.
Dániel DarvasIstván MajzikEnrique Blanco ViñuelaPublished in: Period. Polytech. Electr. Eng. Comput. Sci. (2017)
Keyphrases
- symbolic execution
- model checking
- neural network
- static analysis
- hardware designs
- statistical machine translation
- hardware and software
- machine translation
- language model
- cross language information retrieval
- control system
- programming environment
- e learning
- program execution
- asynchronous circuits
- control program
- verification method
- artificial intelligence
- concurrent systems
- machine learning