Formalization and Verification of REST on HTTP Using CSP.
Ting YuanYiting TangXi WuYue ZhangHuibiao ZhuJian GuoWeijun QinPublished in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
- constraint satisfaction problems
- model checking
- formal analysis
- website
- signature verification
- constraint satisfaction
- formal verification
- verification method
- decomposition methods
- open source
- formal model
- special case
- constraint programming
- concurrent systems
- tree decomposition
- operational semantics
- face verification
- constraint networks
- knowledge representation
- np hard
- search space
- lower bound