Formalization and Verification of TESAC Using CSP.
Dongzhen SunHuibiao ZhuYuan FeiLili XiaoGang LuJiaqi YinPublished in: Int. J. Softw. Eng. Knowl. Eng. (2019)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- formal analysis
- real time
- model checking
- constraint programming
- decomposition methods
- knowledge representation
- formal model
- databases
- operational semantics
- constraint propagation
- formal verification
- formal methods
- partial constraint satisfaction
- signature verification
- arc consistency
- phase transition
- search space
- search engine