Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.

Huiwen Wang Huibiao Zhu Yuan Fei Lili Xiao

Published in: SEKE (2018)

Keyphrases

constraint satisfaction problems
knowledge representation
formal analysis
computational model
constraint programming
selection mechanism
neural network
artificial intelligence
genetic algorithm
computational complexity
model checking
formal model
formal methods