InstruPro: Instrumenting Programmable Logic Controller (PLC) based on Model Checking.
Abdullah Al FarooqManash SarkerPublished in: SSCI (2022)
Keyphrases
- programmable logic controller
- model checking
- petri net
- hardware and software
- partial order reduction
- fuzzy control
- temporal logic
- temporal properties
- formal verification
- model checker
- finite state
- computation tree logic
- formal specification
- automated verification
- process algebra
- symbolic model checking
- computer systems
- reachability analysis
- pspace complete
- timed automata
- fuzzy rules
- concurrent systems
- low cost
- linear temporal logic
- epistemic logic
- real time
- formal methods
- computational intelligence
- fuzzy logic