校验某实例时，将重新生成该实例。可使用“校验”(Verify) 来加快将新创建的实例装入会话的过程，以便可以把它们加到实例索引文件中。校验后保存类属模型会把所有成功重新生成的实例的名称增加到该目录的实例索引文件中。

要校验实例，可单击“工具”(Tools) > “校验”(Verify)，或单击“校验”(Verify) 工具栏按钮，两者都位于“族表”(Family Table) 对话框中。两个命令都将打开“族树”(Family Tree) 对话框，此对话框列出并选择所有校验实例。可校验所有实例，或仅校验选定实例。

重新生成每个实例时，在其名称旁边会放置一个红色箭头图标 (此图标出现非常快)。重新生成实例后，在对话框的“校验状况”(Verify status) 列下显示重新生成状况 (SUCCESS 或 FAILURE)。

校验结果被写入名为 modelname.tst 的文件，其中 modelname 是当前类属模型的名称。.tst 文件记录实例名、类属名以及每个被校验的实例的重新生成状况。