The idea behind property checking is to search the entire state space for points that fail the property.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
In the research of two-player zero-sum games, verifying whether there exists winning strategy has not been solved properly, since it refers to the search of the grand scale state space.
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
应用推荐