模型检验中迁移关系的分组策略

• Strategy to Group Partitioned Transition Relationship in Model Checking