状态空间简化
基于1个网页-相关网页
state space reduction technique 状态空间简化技术
state space reduction techniques 状态空间简化技术
·2,447,543篇论文数据，部分数据来源于NoteExpress
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
youdao
应用推荐
模块上移
模块下移
不移动