A compositional validation theorem is proposed and proved, so validating if a generated counterexample is valid and refining the abstraction are all carried out component-wise.

• 提出了组合确认定理并给出证明,使反例确认分解为在各构件上对反例投影的确认;