Typical Structural Properties of State Spaces.
Lecture Notes in Computer Science(2004)
摘要
Explicit model checking algorithms explore the full state space of a system. We have gathered a large collection of state spaces and performed an extensive study of their structural properties. The results show that state spaces have several typical properties and that they differ significantly from both random graphs and regular graphs. We point out how to exploit these typical properties in practical model checking algorithms.
更多查看译文
关键词
model checking,regular graph,state space,random graph
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络