Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.

切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。

youdao

Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.

切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。

youdao