Formal Verification of COCO Database Framework Using CSP.

Peimu Li Jiaqi Yin Huibiao Zhu

Published in: SEKE (2022)

Keyphrases

database
formal verification
database systems
constraint satisfaction problems
main contribution
artificial intelligence
model checking
relational databases
search space
data management
database management systems
probabilistic model
database applications
state space
np hard
web services
data sets