Formalization and Verification of RTPS StatefulWriter Module Using CSP.
Jiaqi YinHuibiao ZhuYuan FeiQiwen XuRuobiao WuPublished in: SEKE (2019)
Keyphrases
- constraint satisfaction problems
- verification method
- constraint satisfaction
- model checking
- constraint propagation
- formal analysis
- tree decomposition
- formal model
- arc consistency
- decomposition methods
- constraint programming
- machine learning
- face verification
- knowledge base
- databases
- soft constraints
- signature verification
- operational semantics
- constraint solving
- artificial intelligence
- logical language
- solving constraint satisfaction problems
- tree decompositions