Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.
Huiwen WangHuibiao ZhuLili XiaoYuan FeiPublished in: Int. J. Softw. Eng. Knowl. Eng. (2018)
Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- model checking
- knowledge representation
- operational semantics
- formal verification
- search space
- real time
- lower bound
- computational model
- computational complexity
- knowledge base
- arc consistency
- information systems
- genetic algorithm
- data sets