Formalization and Verification of SIP Using CSP.
Zhiru HouJiaqi YinHuibiao ZhuNingning ChenPublished in: PDCAT (2022)
Keyphrases
- constraint satisfaction problems
- formal analysis
- knowledge representation
- constraint satisfaction
- verification method
- model checking
- formal model
- constraint propagation
- face verification
- asynchronous circuits
- fingerprint verification
- decomposition methods
- constraint programming
- signature verification
- formal verification
- artificial intelligence
- wireless networks
- np complete
- tree decompositions
- partial constraint satisfaction