Modeling and Verifying Storm Using CSP.

Hongyan Zhao Huibiao Zhu Yucheng Fang Lili Xiao

Published in: HASE (2019)

Keyphrases

constraint satisfaction problems
constraint satisfaction
databases
model checking
modeling method
real time
information retrieval
clustering algorithm
decision trees
similarity measure
tree decomposition