With respect to verification of customization on feature model, this paper proposed a propositional logic-based verification method SUSI.

• 为了能够及时有效地检验特征定制结果,提出了以逻辑命题描述的SUSI验证方法。