Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV.
Roland GlückFlorian Benedikt KrebsPublished in: RAMiCS (2015)
Keyphrases
- programmable logic
- control system
- regular expressions
- field programmable gate array
- query language
- computer vision
- user friendly
- real time
- formal verification
- signature verification
- propositional logic
- concurrent systems
- control strategy
- modal logic
- model checking
- virtual reality
- access control
- data model
- data analysis
- cooperative
- database systems
- image segmentation
- case study