From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
Zsófia ÁdámIgnacio D. Lopez-MiguelAnastasia MavridouThomas PressburgerMarcin BesEnrique Blanco ViñuelaAndreas KatisJean-Charles TournierKhanh V. TrinhBorja Fernández AdiegoPublished in: NFM (2023)
Keyphrases
- programmable logic
- natural language
- written in natural language
- control system
- reinforcement learning
- natural language interface
- field programmable gate array
- knowledge representation
- language processing
- information extraction
- natural language processing
- question answering
- semantic analysis
- low cost
- model checking
- real time
- machine learning