Typical Structural Properties of State Spaces
| Authors | |
|---|---|
| Year of publication | 2004 |
| Type | Article in Proceedings |
| Conference | SPIN Workshop 2004 |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | explicit model checking; state space exploration |
| Description | 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. |
| Related projects: |