Modeling and Verifying MooseFS in CSP.

Yucheng Fang Huibiao Zhu Gang Lu Lili Xiao Wanling Xie

Published in: COMPSAC (1) (2018)

Keyphrases

constraint satisfaction problems
model checking
image sequences
information systems
knowledge base
database systems
np complete
tree decompositions