HyPLC: hybrid programmable logic controller program translation for verification.
Luis GarciaStefan MitschAndré PlatzerPublished in: ICCPS (2019)
Keyphrases
- programmable logic controller
- hardware and software
- symbolic execution
- petri net
- hardware designs
- program execution
- static analysis
- artificial intelligence
- fuzzy control
- data mining
- cross language information retrieval
- real time
- computer programs
- machine translation
- intelligent systems
- verification method
- data processing
- low cost
- information retrieval