Formalization and Verification of Dubbo Using CSP.
Zhiru HouJiaqi YinHuibiao ZhuPublished in: SEKE (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- model checking
- formal analysis
- constraint programming
- arc consistency
- constraint propagation
- arc consistency algorithm
- formal model
- face verification
- real time
- knowledge representation
- np hard
- search space
- expert systems
- formal verification
- tree decomposition
- fingerprint verification
- database