Formalization and Verification of RocketMQ Using CSP.
Yiwen LiuHongyan MaoNing QinKai ChenPublished in: ICPADS (2023)
Keyphrases
- constraint satisfaction problems
- model checking
- constraint satisfaction
- constraint propagation
- formal analysis
- decomposition methods
- verification method
- tree decomposition
- special case
- np hard
- knowledge representation
- constraint programming
- false acceptance rate
- data sets
- constraint graph
- constraint solving
- case study
- databases