属性无关
基于1个网页-相关网页
irrelevant to property
与财产无关
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.
切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。
youdao
应用推荐
模块上移
模块下移
不移动