In this paper, we propose to do property checking using constraint logic programming (CLP).

• 本文采用约束逻辑编程(Constraint Logic Programming,CLP)技术进行性质检验。