Strategy to Group Partitioned Transition Relationship in Model Checking

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